Pinned Repositories
facet
a functional programming language with algebraic effects and handlers
fresnel
high-powered optics in a small package
fused-effects
A fast, flexible, fused effect system for Haskell
isometry
programmatic voxels
Madness
Recursive Descent Into Madness
Postmodern-Programming
Prelude
Swift µframework of simple functional programming tools
RXCollections
Obsolete—use https://github.com/robrix/Reducers instead.
semilattices
join and meet semilattices, lower and upper bounds.
starlight
spaceships in space
robrix's Repositories
robrix/path
A lambda calculus to explore type-directed program synthesis.
robrix/starlight
spaceships in space
robrix/semilattices
join and meet semilattices, lower and upper bounds.
robrix/languages-all-the-way-down
outline & examples for my ZuriHac 2020 talk, Languages All the Way Down
robrix/sequoia
classical sequent calculus, embedded in Haskell
robrix/Manifold
Another experiment in dependently typed languages, this time with some quantitative type theory smooshed in.
robrix/silkscreen
Prettyprinting transformers for rainbow parens, precedence, etc.
robrix/tilec
Sometimes when I feel sad I implement a dependently typed lambda calculus.
robrix/isometry
programmatic voxels
robrix/dotfiles
the very dottest of files 💻
robrix/dragon
Renders iterations of the dragon curve to SVG
robrix/interval-functor
General purpose intervals of functors.
robrix/derivative-parsing
Parsing with Derivatives, in Haskell, with GADTs.
robrix/seq
a µµ̃ calculus with pretty-printing and evaluating interpreters
robrix/text-gl
Text, rendered with OpenGL.
robrix/elab
Dependently-typed language to experiment with An Algebraic Approach to Typechecking and Elaboration
robrix/robrix.github.io
Words by me
robrix/semiring-parsing
Parsing in semirings
robrix/continuations
Continuations, CPS, co-functions, and combinators for working with them
robrix/cabal-action
GitHub Actions for cabal new-build
robrix/crocus
a datalog
robrix/lambdaft
robrix/raytracer
A toy raytracer in Haskell
robrix/synth
Audio synthesis and sequencing
robrix/effect-calculus
Specification and implementation of an effect calculus
robrix/haskell-opentype
truetype loading and writing in haskell
robrix/language-haskell
Highlighting support for the Haskell language in visual studio code.
robrix/lingo-haskell
robrix/swagger2
Swagger 2.0 data model.
robrix/these
An either-or-both data type, with corresponding hybrid error/writer monad transformer.