The Discus Language (@discus-lang)
Guthub

discus-lang

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    398
  • Global Org. Rank 27,422 (Top 9 %)
  • Registered almost 11 years ago
  • Most used languages
    Haskell
         75.0 %
    Coq     12.5 %
    TypeScript
         12.5 %
  • Location 🇦🇺 Australia
  • Country Total Rank 1,260
  • Country Ranking
    Coq     1
    Haskell
         16
    TypeScript
         1,767

Top repositories

1

ddc

The Disco Discus Compiler
Haskell
174
star
2

iron

Coq formalizations of functional languages.
Coq
141
star
3

salt

The compilation target that functional programmers always wanted.
Haskell
62
star
4

shimmer

The Reflective Lambda Machine
Haskell
8
star
5

inchworm

Simple parser combinators for lexical analysis.
Haskell
6
star
6

salt-vscode

Salt Visual Studio Code language extension
TypeScript
3
star
7

buildbox

Rehackable components for writing buildbots and test harnesses.
Haskell
1
star
8

discus-bot

IRC bot for the #discus-lang channel on freenode
Haskell
1
star