antitypical/Manifold antitypical/Manifold

  • This repository has been archived on 20/May/2018
  • Stars
    star
    30
  • Rank 839,658 (Top 17 %)
  • Language
    Swift
  • License
    MIT License
  • Created almost 10 years ago
  • Updated almost 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
antitypical/Manifold
github

antitypical

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

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

More Repositories

1

Result

Swift type modelling the success/failure of arbitrary operations.
Swift
2,507
star
2

Stream

Lazy streams in Swift.
Swift
81
star
3

Assertions

Flexible XCTest assertions in Swift.
Swift
40
star
4

TesseractCore

Tesseract’s evaluation and type system.
Swift
30
star
5

BinaryTree

Binary trees in Swift.
Swift
25
star
6

Metaprogrammable

Swift metaprogramming
Swift
7
star
7

Surface

An experiment in dependent type systems
Haskell
6
star
8

DisjointSet

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

fused-syntax

Fast, flexible, fused syntax operations for Haskell
Haskell
3
star
10

antitypical.github.io

Repository backing https://antitypical.github.io
CSS
2
star
11

Curve

Another experiment in dependently-typed languages
Haskell
1
star