Lists (2)
Starred repositories
11
results
for source starred repositories
written in Haskell
Clear filter
SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!
A friendly programming language from the future
A static website compiler library in Haskell
Research language for array processing in the Haskell/ML family
Haskell to VHDL/Verilog/SystemVerilog compiler
Domain-Specific Languages of Mathematics
Where Lions Roam: RISC-V on the VELDT
A graphical interactive proof assistant designed for education