Pinned Repositories
AltClassical
For sharing with the lean study group.
cairoshell
Cairo is a customizable, intuitive desktop environment for Windows.
DredBakup
fsrandomflow
Intended as a generic and thread safe approach to System.Random
generic-combinations
haskell-ide-engine
The engine for haskell ide-integration. Not an IDE
idoc
A strongly typed markup language that compiles to HTML5 and LaTeX.
leksah
Haskell IDE
MIRAI
Rust mid-level IR Abstract Interpreter
netwire-glfw-b
Do graphics programming with functional reactive programming with Netwire and GLFW-b
barendventer's Repositories
barendventer/roc
A fast, friendly, functional language.
barendventer/AltClassical
For sharing with the lean study group.
barendventer/generic-combinations
barendventer/purescript-screeps-psc
screeps starter project
barendventer/MIRAI
Rust mid-level IR Abstract Interpreter
barendventer/synchrolean-mobile
Mobile Application for SynchroLean
barendventer/cairoshell
Cairo is a customizable, intuitive desktop environment for Windows.
barendventer/idoc
A strongly typed markup language that compiles to HTML5 and LaTeX.
barendventer/fsrandomflow
Intended as a generic and thread safe approach to System.Random
barendventer/DredBakup
barendventer/haskell-ide-engine
The engine for haskell ide-integration. Not an IDE
barendventer/leksah
Haskell IDE
barendventer/numbers
barendventer/netwire-glfw-b
Do graphics programming with functional reactive programming with Netwire and GLFW-b