The Discus Language

Sydney, Australia

Pinned Repositories

accelerate
Embedded language for high-performance array computations
Language:Haskell0 0 00
buildbox
Rehackable components for writing buildbots and test harnesses.
Language:Haskell1 12 02
ddc
The Disco Discus Compiler
Language:Haskell174 25 019
discus-bot
IRC bot for the #discus-lang channel on freenode
Language:Haskell1 6 00
discus-network
A network library for the Discus programming language
Language:C2 8 00
inchworm
Simple parser combinators for lexical analysis.
Language:Haskell6 10 00
iron
Coq formalizations of functional languages.
Language:Coq139 20 010
salt
The compilation target that functional programmers always wanted.
Language:Haskell62 8 13
salt-vscode
Salt Visual Studio Code language extension
Language:TypeScript3 6 00
shimmer
The Reflective Lambda Machine
Language:Haskell8 9 01

The Discus Language's Repositories

discus-lang/ddc
The Disco Discus Compiler
Language:Haskell174 25 019
discus-lang/iron
Coq formalizations of functional languages.
Language:Coq139 20 010
discus-lang/salt
The compilation target that functional programmers always wanted.
Language:Haskell62 8 13
discus-lang/shimmer
The Reflective Lambda Machine
Language:Haskell8 9 01
discus-lang/inchworm
Simple parser combinators for lexical analysis.
Language:Haskell6 10 00
discus-lang/salt-vscode
Salt Visual Studio Code language extension
Language:TypeScript3 6 00
discus-lang/discus-network
A network library for the Discus programming language
Language:C2 8 00
discus-lang/buildbox
Rehackable components for writing buildbots and test harnesses.
Language:Haskell1 12 02
discus-lang/discus-bot
IRC bot for the #discus-lang channel on freenode
Language:Haskell1 6 00
discus-lang/accelerate
Embedded language for high-performance array computations
Language:Haskell0 0 00
discus-lang/salt-theme
Salt Plain Visual Studio Code Theme
0 6 00
discus-lang/shivver
Reflective Lambda Machine with Cold Storage
Language:C0 6 00