Antitypical

Pinned Repositories

Assertions
Flexible XCTest assertions in Swift.
Language:Swift40 2 24
BinaryTree
Binary trees in Swift.
Language:Swift25 2 80
DisjointSet
Disjoint sets (a.k.a union-find sets) in Swift.
Language:Swift5 2 41
fused-syntax
Fast, flexible, fused syntax operations for Haskell
Language:Haskell3 4 02
Manifold
An implementation of a dependently-typed intermediate language used by Tesseract.
Language:Swift30 3 790
Metaprogrammable
Swift metaprogramming
Language:Swift7 3 00
Result
Swift type modelling the success/failure of arbitrary operations.
Language:Swift2.5k 39 100227
Stream
Lazy streams in Swift.
Language:Swift81 3 21
Surface
An experiment in dependent type systems
Language:Haskell6 4 00
TesseractCore
Tesseract’s evaluation and type system.
Language:Swift30 6 301

Antitypical's Repositories

antitypical/Result
Swift type modelling the success/failure of arbitrary operations.
Language:Swift2.5k 39 100227
antitypical/Stream
Lazy streams in Swift.
Language:Swift81 3 21
antitypical/Assertions
Flexible XCTest assertions in Swift.
Language:Swift40 2 24
antitypical/Manifold
An implementation of a dependently-typed intermediate language used by Tesseract.
Language:Swift30 3 790
antitypical/TesseractCore
Tesseract’s evaluation and type system.
Language:Swift30 6 301
antitypical/BinaryTree
Binary trees in Swift.
Language:Swift25 2 80
antitypical/Metaprogrammable
Swift metaprogramming
Language:Swift7 3 00
antitypical/Surface
An experiment in dependent type systems
Language:Haskell6 4 00
antitypical/DisjointSet
Disjoint sets (a.k.a union-find sets) in Swift.
Language:Swift5 2 41
antitypical/fused-syntax
Fast, flexible, fused syntax operations for Haskell
Language:Haskell3 4 02
antitypical/antitypical.github.io
Repository backing https://antitypical.github.io
Language:CSS2 3 0
antitypical/Curve
Another experiment in dependently-typed languages
Language:Haskell1 3 0
antitypical/language-parser-mixfix
http://www.cse.chalmers.se/~nad/publications/danielsson-norell-mixfix.pdf
Language:Haskell3 0