- RXCollections 492 Obsolete—use https://github.com/robrix/Reducers instead.
- Postmodern-Programming 238
- Prelude 228 Swift µframework of simple functional programming tools
- Madness 220 Recursive Descent Into Madness
- Box 190 Swift µframework of the ubiquitous Box<T> & MutableBox<T> reference types, for recursive value types & misc. other purposes.
Repositories contributed to
- antitypical/Manifold 37 An implementation of a dependently-typed intermediate language used by Tesseract.
- antitypical/Surface 5 An experiment in dependent type systems
- tree-sitter/tree-sitter-ruby 0 Ruby grammar for tree-sitter
- tree-sitter/tree-sitter-swift 5 Swift grammar for https://github.com/tree-sitter/tree-sitter
- antitypical/Curve 1 Another experiment in dependently-typed languages