Antitypical

Login: antitypical

Company: null

Location: null

email:

Blog: http://antitypical.com/

Members

  1. Ash Furrow
  2. Gordon Fontenot
  3. Justin Spahr-Summers
  4. Kyle Fuller
  5. Neil Pankey
  6. Rob Napier
  7. sheree peņa
  8. Sho Ikeda
  9. Thomas Visser
  10. Yosuke Ishikawa

Repositories

antitypical.github.io
Repository backing https://antitypical.github.io
Assertions
Flexible XCTest assertions in Swift.
BinaryTree
Binary trees in Swift.
Curve
Another experiment in dependently-typed languages
DisjointSet
Disjoint sets (a.k.a union-find sets) in Swift.
language-parser-mixfix
http://www.cse.chalmers.se/~nad/publications/danielsson-norell-mixfix.pdf
Manifold
An implementation of a dependently-typed intermediate language used by Tesseract.
Metaprogrammable
Swift metaprogramming
Result
Swift type modelling the success/failure of arbitrary operations.
Stream
Lazy streams in Swift.
Surface
An experiment in dependent type systems
TesseractCore
Tesseract?s evaluation and type system.
This work is supported by the National Institutes of Health's National Center for Advancing Translational Sciences, Grant Number U24TR002306. This work is solely the responsibility of the creators and does not necessarily represent the official views of the National Institutes of Health.