be5invis / idris-codegen-esLinks
Optimized JS codegen for Idris
☆54Updated 6 years ago
Alternatives and similar repositories for idris-codegen-es
Users that are interested in idris-codegen-es are comparing it to the libraries listed below
Sorting:
- Generic parser combinators☆87Updated 5 months ago
- ☆19Updated 9 years ago
- Complete raw OpenGL bindings for Haskell☆93Updated 5 months ago
- Sucessor: https://github.com/thautwarm/Quick-Backend☆24Updated 5 years ago
- 用作文档目的,翻译方式见 Issue #10☆41Updated 6 years ago
- array, slices and text☆70Updated last year
- The MLPolyR programming language, revived☆25Updated 4 years ago
- Dive into GHC☆82Updated 8 years ago
- The Disco Discus Compiler☆174Updated 6 years ago
- Replib: generic programming & Unbound: generic treatment of binders☆45Updated 2 years ago
- IO lib for haskell☆99Updated last year
- Higher-order optimization library☆76Updated 2 years ago
- A simple Depdently-Typed Language for Research and Learning☆57Updated 8 years ago
- A naive θ..θ programming language☆27Updated 6 years ago
- Call JavaScript from Haskell, and vice versa!☆136Updated 11 months ago
- TParsec - Total Parser Combinators in Idris☆95Updated last year
- build tool and package manager for idris,in idris,with free monads