antitypical/Metaprogrammable antitypical/Metaprogrammable

  • This repository has been archived on 18/Dec/2019
  • Stars
    star
    7
  • Rank 2,294,772 (Top 46 %)
  • Language
    Swift
  • License
    MIT License
  • Created about 9 years ago
  • Updated about 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
antitypical/Metaprogrammable
github

antitypical

Reviews

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

Repository Details

Swift metaprogramming

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

Manifold

An implementation of a dependently-typed intermediate language used by Tesseract.
Swift
30
star
6

BinaryTree

Binary trees in Swift.
Swift
25
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