8000 The Discus Language · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
@discus-lang

The Discus Language

Pinned Loading

  1. ddc ddc Public

    The Disco Discus Compiler

    Haskell 174 19

  2. salt salt Public

    The compilation target that functional programmers always wanted.

    Haskell 62 3

  3. shimmer shimmer Public

    The Reflective Lambda Machine

    Haskell 8 1

  4. iron iron Public

    Coq formalizations of functional languages.

    Coq 144 8

  5. inchworm inchworm Public

    Simple parser combinators for lexical analysis.

    Haskell 6

  6. buildbox buildbox Public

    Rehackable components for writing buildbots and test harnesses.

    Haskell 1 2

Repositories

Showing 10 of 12 repositories
View all repositories

Top languages

Loading…

Most used topics

Loading…
0