GitHub is home to over 40 million developers working together. Join them to grow your own development teams, manage permissions, and collaborate on projects.
Fast, flexible, fused syntax operations for Haskell
Binary trees in Swift.
Swift type modelling the success/failure of arbitrary operations.
Another experiment in dependently-typed languages
An experiment in dependent type systems
An implementation of a dependently-typed intermediate language used by Tesseract.
Flexible XCTest assertions in Swift.
Lazy streams in Swift.
Disjoint sets (a.k.a union-find sets) in Swift.
Repository backing https://antitypical.github.io
Tesseract’s evaluation and type system.