The Discus Language (@discus-lang)
Guthub

discus-lang

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    395
  • Global Org. Rank 27,136 (Top 9 %)
  • Registered over 10 years ago
  • Most used languages
    Haskell
         75.0 %
    TypeScript
         12.5 %
    Coq     12.5 %
  • Location πŸ‡¦πŸ‡Ί Australia
  • Country Total Rank 1,260
  • Country Ranking
    Coq     1
    Haskell
         16
    TypeScript
         1,469

Top repositories

1

ddc

The Disco Discus Compiler
Haskell
174
star
2

iron

Coq formalizations of functional languages.
Coq
139
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
5
star
6

salt-vscode

Salt Visual Studio Code language extension
TypeScript
3
star
7

discus-bot

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

buildbox

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