Skip to content

@antitypical Antitypical

All

    Repositories list

    13 repositories

    • Result

      Public
      Swift type modelling the success/failure of arbitrary operations.
      Swift
      •
      MIT License
      •227•2.5k•9•2•Updated Apr 22, 2021Apr 22, 2021

    • fused-syntax

      Public
      Fast, flexible, fused syntax operations for Haskell
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •3•3•0•0•Updated Jul 8, 2020Jul 8, 2020

    • BinaryTree

      Public
      Binary trees in Swift.
      Swift
      •
      MIT License
      •0•25•6•0•Updated Oct 15, 2019Oct 15, 2019

    • Curve

      Public archive
      Another experiment in dependently-typed languages
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •0•1•0•1•Updated Jan 30, 2016Jan 30, 2016

    • language-parser-mixfix

      Public archive
      http://www.cse.chalmers.se/~nad/publications/danielsson-norell-mixfix.pdf
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Jan 13, 2016Jan 13, 2016

    • Surface

      Public
      An experiment in dependent type systems
      Haskell
      •
      MIT License
      •0•6•0•1•Updated Jan 9, 2016Jan 9, 2016

    • Manifold

      Public archive
      An implementation of a dependently-typed intermediate language used by Tesseract.
      Swift
      •
      MIT License
      •1•30•19•2•Updated Jan 1, 2016Jan 1, 2016

    • Assertions

      Public
      Flexible XCTest assertions in Swift.
      Swift
      •
      MIT License
      •4•40•1•0•Updated Dec 27, 2015Dec 27, 2015

    • Stream

      Public
      Lazy streams in Swift.
      Swift
      •
      MIT License
      •1•82•1•0•Updated Nov 2, 2015Nov 2, 2015

    • DisjointSet

      Public
      Disjoint sets (a.k.a union-find sets) in Swift.
      Swift
      •
      MIT License
      •2•5•2•0•Updated Nov 2, 2015Nov 2, 2015

    • Metaprogrammable

      Public archive
      Swift metaprogramming
      Swift
      •
      MIT License
      •1•7•0•0•Updated Oct 4, 2015Oct 4, 2015

    • antitypical.github.io

      Public
      Repository backing https://antitypical.github.io
      CSS
      •0•2•0•0•Updated Jul 18, 2015Jul 18, 2015

    • TesseractCore

      Public
      Tesseract’s evaluation and type system.
      Swift
      •
      MIT License
      •2•30•8•1•Updated May 2, 2015May 2, 2015
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.