Beast code in Giters

Antitypical's repositories

Swift type modelling the success/failure of arbitrary operations.

Language:SwiftMIT2505 39 100

Lazy streams in Swift.

Language:SwiftMIT81 3 2

Flexible XCTest assertions in Swift.

Language:SwiftMIT40 2 2

An implementation of a dependently-typed intermediate language used by Tesseract.

Language:SwiftMIT30 3 79

Tesseract’s evaluation and type system.

Language:SwiftMIT30 6 30

Binary trees in Swift.

Language:SwiftMIT25 2 8

Swift metaprogramming

Language:SwiftMIT7 30

An experiment in dependent type systems

Language:HaskellMIT6 40

Disjoint sets (a.k.a union-find sets) in Swift.

Language:SwiftMIT5 2 4

Fast, flexible, fused syntax operations for Haskell

Language:HaskellBSD-3-Clause3 40

Repository backing https://antitypical.github.io

Language:CSS2 30

Another experiment in dependently-typed languages

Language:HaskellBSD-3-Clause1 30

http://www.cse.chalmers.se/~nad/publications/danielsson-norell-mixfix.pdf

Language:HaskellBSD-3-Clause030