The Discus Language

The Discus Language's repositories

The Disco Discus Compiler

Language:HaskellNOASSERTION174 250

Coq formalizations of functional languages.

Language:CoqNOASSERTION139 200

The compilation target that functional programmers always wanted.

Language:Haskell62 8 1

The Reflective Lambda Machine

Language:HaskellMIT8 90

Simple parser combinators for lexical analysis.

Language:HaskellNOASSERTION5 100

Salt Visual Studio Code language extension

Language:TypeScript3 60

A network library for the Discus programming language

Language:C2 80

Rehackable components for writing buildbots and test harnesses.

Language:Haskell1 120

IRC bot for the #discus-lang channel on freenode

Language:Haskell1 60

Embedded language for high-performance array computations

Language:HaskellNOASSERTION000

Salt Plain Visual Studio Code Theme

060

Reflective Lambda Machine with Cold Storage

Language:C060