The Discus Language

All

12 repositories

accelerate
Public
Embedded language for high-performance array computations
Haskell
•
Other
•118•0•0•0•Updated Jun 13, 2023Jun 13, 2023
salt-theme
Public
Salt Plain Visual Studio Code Theme
theme haskell functional ide vscode salt vscode-theme
0•0•0•0•Updated Apr 3, 2023Apr 3, 2023
salt-vscode
Public
Salt Visual Studio Code language extension
functional compiler ide low-level vscode language-extensions
TypeScript
•0•3•0•4•Updated Dec 8, 2022Dec 8, 2022
shivver
Public
Reflective Lambda Machine with Cold Storage
C
•0•0•0•0•Updated Sep 2, 2022Sep 2, 2022
inchworm
Public
Simple parser combinators for lexical analysis.
haskell parsing parser-combinators lexical-analysis
Haskell
•
Other
•0•6•0•0•Updated Nov 7, 2021Nov 7, 2021
salt
Public
The compilation target that functional programmers always wanted.
language functional compiler lambda-calculus target low-level compilation
Haskell
•3•62•0•0•Updated Aug 2, 2020Aug 2, 2020
iron
Public
Coq formalizations of functional languages.
lambda-calculus theory coq proof coq-formalizations
Coq
•
Other
•9•141•0•0•Updated Jul 2, 2020Jul 2, 2020
shimmer
Public
The Reflective Lambda Machine
reflection functional language
Haskell
•
MIT License
•1•8•0•0•Updated Oct 19, 2019Oct 19, 2019
ddc
Public
The Disco Discus Compiler
functional experimental compiler effects capabilities regions language
Haskell
•
Other
•19•174•0•1•Updated Feb 6, 2019Feb 6, 2019
discus-bot
Public
IRC bot for the #discus-lang channel on freenode
Haskell
•0•1•0•0•Updated Jan 23, 2019Jan 23, 2019
buildbox
Public
Rehackable components for writing buildbots and test harnesses.
library build build-automation buildbot haskell
Haskell
•2•1•0•0•Updated Oct 12, 2018Oct 12, 2018
discus-network
Public
A network library for the Discus programming language
C
•1•2•0•0•Updated Mar 25, 2018Mar 25, 2018