The Wayback Machine - https://web.archive.org/web/20200717112941/https://github.com/discus-lang
Skip to content
@discus-lang

The Discus Language

Pinned repositories

  1. The Disco Discus Compiler

    Haskell 165 18

  2. The compilation target that functional programmers always wanted.

    Haskell 55 3

  3. The Reflective Lambda Machine

    Haskell 7 1

  4. Coq formalizations of functional languages.

    Coq 109 12

  5. Simple parser combinators for lexical analysis.

    Haskell 3

  6. Rehackable components for writing buildbots and test harnesses.

    Haskell 3

Repositories

Top languages

Loading…

Most used topics

Loading…

You can’t perform that action at this time.