Explore @antitypical Open Source projects

Antitypical (@antitypical)

antitypical

Stars
2,737
Global Org. Rank 7,548 (Top 3 %)
Registered almost 11 years ago
Most used languages

Swift
66.7 %

Haskell
25.0 %

CSS
8.3 %

Result

Swift type modelling the success/failure of arbitrary operations.

Stream

Lazy streams in Swift.

Assertions

Flexible XCTest assertions in Swift.

TesseractCore

Tesseract’s evaluation and type system.

Manifold

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

BinaryTree

Binary trees in Swift.

Metaprogrammable

Swift metaprogramming

Surface

An experiment in dependent type systems

DisjointSet

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

fused-syntax

Fast, flexible, fused syntax operations for Haskell

antitypical.github.io

Repository backing https://antitypical.github.io

Curve

Another experiment in dependently-typed languages