Rob Rix's Projects
The ω function is a non-recursive, non-terminating function; this is an implementation of it in Objective-C.
Talk about the derivative of parser combinators in ObjC & Swift
Experiments in abstracting definitional interpreters
arborescence, n. a quality of being treelike in growth or appearance.
Convenient LLVM compiler API for Objective-C.
A colour picker for Mac OS X 10.5+; blend two colours to get a third.
Swift µframework of the ubiquitous Box<T> & MutableBox<T> reference types, for recursive value types & misc. other purposes.
haskell source code formatter
Build stack packages from Atom via https://atom.io/packages/build
Official upstream development repository for Cabal and cabal-install
GitHub Actions for cabal new-build
Compose a list of a project's transitive dependencies with their licenses
Simple interface to some of Cabal's configuration state, used by ghc-mod. CI: https://gitlab.com/dxld/cabal-helper/pipelines
A Ruby on Rails filesystem-based content management system.
Sized type elaboration, eventually via abstract interpretation.
Continuations, CPS, co-functions, and combinators for working with them
Credit card number validation as functional–style Swift.
a datalog
µframework for lazy evaluation in Swift.
Parsing with Derivatives, in Haskell, with GADTs.
An experiment in deterministic parsing of LL(1) grammars
Probability distributions à la Deriving a Probability Density Calculator by Wazim Mohammed Ismail & Chung-chieh Shan http://homes.soic.indiana.edu/ccshan/rational/pearl.pdf
the very dottest of files 💻
Renders iterations of the dragon curve to SVG
A Cocoa app which draws the dragon curve. cf http://en.wikipedia.org/wiki/Dragon_curve
Specification and implementation of an effect calculus
An implementation of "Freer Monads, More Extensible Effects".
Extensible effects à la Oleg, but with fancier effect sets.
Swift µframework of Either, which represents two alternatives.
Dependently-typed language to experiment with An Algebraic Approach to Typechecking and Elaboration