28 open source projects by robrix

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

Swift µframework of Either, which represents two alternatives.

Clojure-inspired reducers for Cocoa & Cocoa Touch.

An implementation of Multiset and PredicateSet in Swift.

Race-free completion and cancellation of asynchronous work.

Rational window management

Parsing and pattern matching in Objective-C

spaceships in space

Enumeration & iteration of collections in Swift.

Block introspection and interaction

Credit card number validation as functional–style Swift.

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

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

Swift µframework of simple functional programming tools

Recursive Descent Into Madness

Hackery via the AX (Accessibility) APIs

A variety of utilities for the C preprocessor.

Mix-ins for Objective-C

Xcode project templates, especially for µframework development.

µframework for lazy evaluation in Swift.

join and meet semilattices, lower and upper bounds.

classical sequent calculus, embedded in Haskell

Singly-linked lists in Swift.

Swift µframework of Memo, a lazily memoized value.

Talk about the derivative of parser combinators in ObjC & Swift

Don’t subclass.

Prettyprinting transformers for rainbow parens, precedence, etc.

A lambda calculus to explore type-directed program synthesis.