r
Repositories
Select a repository to view its commits, contributors, and more.public
Hammer.swift
When all you have is a parser, everything looks like a language.
Swift
24
0
5
Updated a year ago
public
freer-cofreer
freer monads and cofreer comonads.
Haskell
21
1
6
Updated a year ago
public
Project-Templates
Xcode project templates, especially for µframework development.
Swift
20
0
2
Updated 2 years ago
public
languages-all-the-way-down
outline & examples for my ZuriHac 2020 talk, Languages All the Way Down
Haskell
20
0
0
Updated a year ago
public
sequoia
classical sequent calculus, embedded in Haskell
Haskell
19
1
1
Updated 9 months ago
public
A-Swiftly-Tilting-Parser
Talk about the derivative of parser combinators in ObjC & Swift
19
0
0
Updated 5 years ago
public
Manifold
Another experiment in dependently typed languages, this time with some quantitative type theory smooshed in.
Haskell
18
0
5
Updated 2 years ago
public
silkscreen
Prettyprinting transformers for rainbow parens, precedence, etc.
Haskell
16
0
2
Updated 3 years ago
public
Delay
µframework for lazy evaluation in Swift.
Swift
16
0
0
Updated a year ago
public
abstract-interpretation
Experiments in abstracting definitional interpreters
Haskell
16
0
1
Updated 3 years ago
public
tilec
Sometimes when I feel sad I implement a dependently typed lambda calculus.
Haskell
15
1
0
Updated 2 years ago
public
Auspicion
Convenient LLVM compiler API for Objective-C.
Swift
15
1
1
Updated 2 years ago