Discover robrix/abstract-interpretation Open Source project

Swift µframework of simple functional programming tools

477

Prelude

Recursive Descent Into Madness

409

Madness

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

291

Postmodern-Programming

236

Box

Swift µframework of Either, which represents two alternatives.

215

Either

Clojure-inspired reducers for Cocoa & Cocoa Touch.

150

Reducers

An implementation of Multiset and PredicateSet in Swift.

138

Set

Race-free completion and cancellation of asynchronous work.

112

RXFutures

A lambda calculus to explore type-directed program synthesis.

path

Rational window management

Grid

Parsing and pattern matching in Objective-C

Hammer

starlight

spaceships in space

Enumeration & iteration of collections in Swift.

Traversal

Block introspection and interaction

Obstruct

Memo

Swift µframework of Memo, a lazily memoized value.

join and meet semilattices, lower and upper bounds.

semilattices

On the dark side of the sun.

Lagrangian

A variety of utilities for the C preprocessor.

RXPreprocessing

Many-Types-Make-Light-Work

Don’t subclass.

Haxcessibility

Hackery via the AX (Accessibility) APIs

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

ui-effects

RXConcreteProtocol

Mix-ins for Objective-C

Singly-linked lists in Swift.

List

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

Hammer.swift

freer monads and cofreer comonads.

freer-cofreer

outline & examples for my ZuriHac 2020 talk, Languages All the Way Down

languages-all-the-way-down

Xcode project templates, especially for µframework development.

Project-Templates

classical sequent calculus, embedded in Haskell

sequoia

Talk about the derivative of parser combinators in ObjC & Swift

A-Swiftly-Tilting-Parser

Manifold

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

Prettyprinting transformers for rainbow parens, precedence, etc.

silkscreen

µframework for lazy evaluation in Swift.

Delay

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

tilec

Convenient LLVM compiler API for Objective-C.

Auspicion

Bind arbitrary objects’ properties without writing new IB3 plugins.

objectbinder

Pork

isometry

RXAssertions

Smarter assertion macros for your OCUnit tests.

NSFastEnumeration and lazy evaluation—or doom!

NSFastEnumeration-or-Consequences

surface

Dependently-typed language w/ little to say for itself

the very dottest of files 💻

dotfiles

Shell

dragon

Renders iterations of the dragon curve to SVG

Types and Programming Languages notes and exercises

TaPL

A tool to audio tracks from QuickTime files, e.g. for YouTube → iTunes use

Extraction

Credit card number validation as functional–style Swift.

credit-card-validation

A very convenient way to wait for asynchronous work to complete.

RXSynchronously

Semirings, with and without additive/multiplicative identities, and R-modules.

semirings-modules

Loyalist

Algebraic autolayout

An NSUndoManager subclass which stores commits to a git branch.

RXVersionedUndoManager

General purpose intervals of functors.

interval-functor

A lightweight Xcode-integration bundle for TextMate. Clean and fresh inside and out!

xcode-light

Introspection at its worst.

Navel-Gazing

A convenient implementation of Visitor pattern for Objective-C collections.

RXVisitor

Generic interface over the AST provided by haskell-src-exts

language-haskell-ast

a µµ̃ calculus with pretty-printing and evaluating interpreters

seq

Trait-ish decorators, as an alternative to RXConcreteProtocol.

RXTraits

Text, rendered with OpenGL.

text-gl

Parsing with Derivatives, in Haskell, with GADTs.

derivative-parsing

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

forthward

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

effects-sequences

Unit tests from the dark side of the sun.

Lagrangian.swift

A colour picker for Mac OS X 10.5+; blend two colours to get a third.

robrix.github.io

Words by me

HTML

BlendColourPicker

An experimental implementation of JSON encoding/decoding in ObjC using NSCoder/NSCoding

RXJSONCoder

Dependently-typed language to experiment with An Algebraic Approach to Typechecking and Elaboration

elab

Serialize and deserialize paths to an SVG path command-compatible format

RXPaths

The Y combinator, implemented in Ruby and Objective-C.

semiring-parsing

Parsing in semirings

Finitary relations in Swift.

Relation

C++

meconation

For Micah

Quick access to ADC docset documentation: `ns array`, `ui view`, `cf type`

Halftone

I wanted to make something pretty.

q is for query

Build stack packages from Atom via https://atom.io/packages/build

build-stack

JavaScript

proficiency

Haskell profile visualization tools.

Generative SVG experiments

spline

An experimental language of little interest to anyone.

Focus

continuations

Continuations, CPS, co-functions, and combinators for working with them

Lazy enumerations of files (as characters) and generators.

RXLazyEnumerations

My Xcode Templates, just because. You will probably not care about this.

Xcode-Templates

Measurements and conversions in ObjC

Quantificate

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

parallel-incremental

An increasingly charming view of your git repositories written with sinatra, grit, and love; just add browser/RSS reader.

glitch

A Cocoa app which draws the dragon curve. cf http://en.wikipedia.org/wiki/Dragon_curve

Drgn

An experiment in deterministic parsing of LL(1) grammars

deterministic-parsing

Sized type elaboration, eventually via abstract interpretation.

complexity-analysis

crocus

a datalog

A toy raytracer in Haskell

memory

Outsourcing my memory

hello-world

Hello, world! ❤️

raytracer

Higher-order (type-indexed) analogues of various typeclasses, and machinery over them.

higher-order

A dumb bump pointer allocator designed dumbly to be as dumb as dumbness itself.

RXAllocator

The ω function is a non-recursive, non-terminating function; this is an implementation of it in Objective-C.

My *.motemplate files. Nothing to see here, move along folks.

Monochrome-motemplate

Arborescence

arborescence, n. a quality of being treelike in growth or appearance.

cabal-action

GitHub Actions for cabal new-build

Dockerfile

lambdaft

Audio synthesis and sequencing

100

synth