Rob Rix

RXCollections. Obsolete—use https://github.com/robrix/Reducers instead.

Prelude. Swift µframework of simple functional programming tools

Madness. Recursive Descent Into Madness

Postmodern-Programming.

Box. Swift µframework of the ubiquitous Box<T> & MutableBox<T> reference types, for recursive value types & misc. other purposes.

Either. Swift µframework of Either, which represents two alternatives.

Reducers. Clojure-inspired reducers for Cocoa & Cocoa Touch.

Set. An implementation of Multiset and PredicateSet in Swift.

RXFutures. Race-free completion and cancellation of asynchronous work.

path. A lambda calculus to explore type-directed program synthesis.

Grid. Rational window management

Hammer. Parsing and pattern matching in Objective-C

starlight. spaceships in space

Traversal. Enumeration & iteration of collections in Swift.

semilattices. join and meet semilattices, lower and upper bounds.

Obstruct. Block introspection and interaction

Memo. Swift µframework of Memo, a lazily memoized value.

Lagrangian. On the dark side of the sun.

RXPreprocessing. A variety of utilities for the C preprocessor.

Many-Types-Make-Light-Work. Don’t subclass.

Haxcessibility. Hackery via the AX (Accessibility) APIs

ui-effects. An experiment towards a UI programming model inspired by algebraic effects.

RXConcreteProtocol. Mix-ins for Objective-C

List. Singly-linked lists in Swift.

freer-cofreer. freer monads and cofreer comonads.

Hammer.swift. When all you have is a parser, everything looks like a language.

sequoia. classical sequent calculus, embedded in Haskell

languages-all-the-way-down. outline & examples for my ZuriHac 2020 talk, Languages All the Way Down

Project-Templates. Xcode project templates, especially for µframework development.

A-Swiftly-Tilting-Parser. Talk about the derivative of parser combinators in ObjC & Swift

Manifold. Another experiment in dependently typed languages, this time with some quantitative type theory smooshed in.

abstract-interpretation. Experiments in abstracting definitional interpreters

Delay. µframework for lazy evaluation in Swift.

silkscreen. Prettyprinting transformers for rainbow parens, precedence, etc.

tilec. Sometimes when I feel sad I implement a dependently typed lambda calculus.

Auspicion. Convenient LLVM compiler API for Objective-C.

objectbinder. Bind arbitrary objects’ properties without writing new IB3 plugins.

RXAssertions. Smarter assertion macros for your OCUnit tests.

Pork. PDF → other

isometry. programmatic voxels

surface. Dependently-typed language w/ little to say for itself

NSFastEnumeration-or-Consequences. NSFastEnumeration and lazy evaluation—or doom!

RXVersionedUndoManager. An NSUndoManager subclass which stores commits to a git branch.

forthward. A toy concatenative language to explore K ( http://k-framework.org )

effects-sequences. Extensible effects à la Oleg, but with fancier effect sets.

RXTraits. Trait-ish decorators, as an alternative to RXConcreteProtocol.

derivative-parsing. Parsing with Derivatives, in Haskell, with GADTs.