Projects in Awesome Lists by robrix
A curated list of projects in awesome lists by robrix .
https://github.com/robrix/prelude
Swift µframework of simple functional programming tools
Last synced: 05 Apr 2025
https://github.com/robrix/Prelude
Swift µframework of simple functional programming tools
Last synced: 30 Jul 2025
https://github.com/robrix/box
Swift µframework of the ubiquitous Box<T> & MutableBox<T> reference types, for recursive value types & misc. other purposes.
Last synced: 07 Apr 2025
https://github.com/robrix/either
Swift µframework of Either, which represents two alternatives.
Last synced: 21 Jun 2025
https://github.com/robrix/Either
Swift µframework of Either, which represents two alternatives.
Last synced: 07 May 2025
https://github.com/robrix/path
A lambda calculus to explore type-directed program synthesis.
Last synced: 14 Apr 2025
https://github.com/robrix/semilattices
join and meet semilattices, lower and upper bounds.
Last synced: 15 Jul 2025
https://github.com/robrix/ui-effects
An experiment towards a UI programming model inspired by algebraic effects.
Last synced: 30 Apr 2025
https://github.com/robrix/languages-all-the-way-down
outline & examples for my ZuriHac 2020 talk, Languages All the Way Down
Last synced: 05 May 2025
https://github.com/robrix/sequoia
classical sequent calculus, embedded in Haskell
Last synced: 05 May 2025
https://github.com/robrix/a-swiftly-tilting-parser
Talk about the derivative of parser combinators in ObjC & Swift
Last synced: 23 Apr 2025
https://github.com/robrix/manifold
Another experiment in dependently typed languages, this time with some quantitative type theory smooshed in.
Last synced: 06 May 2025
https://github.com/robrix/silkscreen
Prettyprinting transformers for rainbow parens, precedence, etc.
Last synced: 06 May 2025
https://github.com/robrix/abstract-interpretation
Experiments in abstracting definitional interpreters
Last synced: 06 May 2025
https://github.com/robrix/Auspicion
Convenient LLVM compiler API for Objective-C.
Last synced: 22 Jul 2025
https://github.com/robrix/tilec
Sometimes when I feel sad I implement a dependently typed lambda calculus.
Last synced: 30 Jul 2025
https://github.com/robrix/surface
Dependently-typed language w/ little to say for itself
dependent-types haskell proof-refinement typechecker
Last synced: 07 May 2025
https://github.com/robrix/dragon
Renders iterations of the dragon curve to SVG
Last synced: 07 May 2025
https://github.com/robrix/semirings-modules
Semirings, with and without additive/multiplicative identities, and R-modules.
Last synced: 14 Aug 2025
https://github.com/robrix/interval-functor
General purpose intervals of functors.
Last synced: 30 Apr 2025
https://github.com/robrix/effects-sequences
Extensible effects à la Oleg, but with fancier effect sets.
Last synced: 12 May 2025
https://github.com/robrix/derivative-parsing
Parsing with Derivatives, in Haskell, with GADTs.
Last synced: 12 May 2025
https://github.com/robrix/seq
a µµ̃ calculus with pretty-printing and evaluating interpreters
Last synced: 12 May 2025
https://github.com/robrix/language-haskell-ast
Generic interface over the AST provided by haskell-src-exts
Last synced: 18 Feb 2026
https://github.com/robrix/elab
Dependently-typed language to experiment with An Algebraic Approach to Typechecking and Elaboration
Last synced: 27 Feb 2026
https://github.com/robrix/quantificate
Measurements and conversions in ObjC
Last synced: 08 Feb 2026
https://github.com/robrix/continuations
Continuations, CPS, co-functions, and combinators for working with them
Last synced: 16 Apr 2026
https://github.com/robrix/distribution
Probability distributions à la Deriving a Probability Density Calculator by Wazim Mohammed Ismail & Chung-chieh Shan http://homes.soic.indiana.edu/ccshan/rational/pearl.pdf
haskell library probabilistic-programming
Last synced: 05 Apr 2025
https://github.com/robrix/hammer.tmbundle
A TextMate bundle for Hammer grammars.
Last synced: 12 Feb 2026
https://github.com/robrix/complexity-analysis
Sized type elaboration, eventually via abstract interpretation.
Last synced: 16 May 2026
https://github.com/robrix/higher-order
Higher-order (type-indexed) analogues of various typeclasses, and machinery over them.
Last synced: 24 Jul 2025
https://github.com/robrix/monochrome-motemplate
My *.motemplate files. Nothing to see here, move along folks.
Last synced: 05 Feb 2026
https://github.com/robrix/deterministic-parsing
An experiment in deterministic parsing of LL(1) grammars
Last synced: 21 Jul 2025
https://github.com/robrix/effect-calculus
Specification and implementation of an effect calculus
Last synced: 17 May 2026