GeezerVison is showing github.com — The Discus Language
Pinned
Loading
The Disco Discus Compiler
Haskell
176
19
The compilation target that functional programmers always wanted.
Haskell
62
3
The Reflective Lambda Machine
Haskell
8
2
Coq formalizations of functional languages.
Coq
147
8
Simple parser combinators for lexical analysis.
Haskell
6
Rehackable components for writing buildbots and test harnesses.
Haskell
1
2
Repositories
Loading
Type
All
Public
Sources
Forks
Archived
Mirrors
Templates
Language
All
C
Coq
Haskell
TypeScript
Sort
Showing 10 of 12 repositories
discus-lang/accelerate's past year of commit activity
Haskell
0
143
0
0
Updated Jun 13, 2023
salt-theme
Public
Salt Plain Visual Studio Code Theme
discus-lang/salt-theme's past year of commit activity
0
0
0
0
Updated Apr 3, 2023
salt-vscode
Public
Salt Visual Studio Code language extension
discus-lang/salt-vscode's past year of commit activity
TypeScript
3
0
0
4
Updated Dec 8, 2022
shivver
Public
Reflective Lambda Machine with Cold Storage
discus-lang/shivver's past year of commit activity
C
0
0
0
0
Updated Sep 2, 2022
inchworm
Public
Simple parser combinators for lexical analysis.
discus-lang/inchworm's past year of commit activity
Haskell
6
0
0
0
Updated Nov 7, 2021
salt
Public
The compilation target that functional programmers always wanted.
discus-lang/salt's past year of commit activity
Haskell
62
3
0
0
Updated Aug 2, 2020
iron
Public
Coq formalizations of functional languages.
discus-lang/iron's past year of commit activity
Coq
147
8
0
0
Updated Jul 2, 2020
shimmer
Public
The Reflective Lambda Machine
discus-lang/shimmer's past year of commit activity
Haskell
8
MIT
2
0
0
Updated Oct 19, 2019
ddc
Public
The Disco Discus Compiler
discus-lang/ddc's past year of commit activity
Haskell
176
19
0
1
Updated Feb 6, 2019
discus-bot
Public
IRC bot for the #discus-lang channel on freenode
discus-lang/discus-bot's past year of commit activity
Haskell
1
0
0
0
Updated Jan 23, 2019
Uh oh!
There was an error while loading. Please reload this page.
Most used topics
Loading…
Uh oh!
There was an error while loading. Please reload this page.