be5invis / idris-codegen-es
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
- The MLPolyR programming language, revived☆24Updated 4 years ago
- 用作文档目的,翻译方式见 Issue #10☆41Updated 5 years ago
- ☆19Updated 9 years ago
- Complete raw OpenGL bindings for Haskell☆93Updated last week
- Sucessor: https://github.com/thautwarm/Quick-Backend☆24Updated 5 years ago
- ☆25Updated 8 years ago
- TParsec - Total Parser Combinators in Idris☆93Updated last year
- Generic parser combinators☆86Updated last week
- Slides from a talk on how to build a simple Haskell web framework☆25Updated 8 years ago
- A prototypical dependently typed languages with sized types and variances☆107Updated 2 years ago
- IO lib for haskell☆99Updated 9 months ago
- (WIP) Dependently-typed programming language with Agda style dependent pattern matching☆80Updated 4 years ago
- A function-oriented language with effect inference☆19Updated 10 years ago
- A naive θ..θ programming language☆27Updated 6 years ago
- Type inference for 'type level computation one step at a time'☆12Updated 7 years ago
- Dive into GHC☆82Updated 8 years ago
- A Python backend for PureScript.☆122Updated 3 years ago
- build tool and package manager for idris,in idris,with free monads☆33Updated 6 years ago
- Type provider library for Idris☆94Updated 7 years ago
- Towards changing things and see if it proofs☆59Updated 3 years ago
- The Disco Discus Compiler☆174Updated 6 years ago
- Diffing of (expression) trees.☆77Updated 2 months ago
- Ende is a hypothetical programming language.☆23Updated 4 years ago
- A collection of Notes on GHC☆69Updated 5 years ago
- Higher-order optimization library☆74Updated last year
- array, slices and text☆70Updated 8 months ago
- Call JavaScript from Haskell, and vice versa!☆131Updated 6 months ago
- Dead simple SQL database written in Haskell for solely educational purposes☆15Updated 9 years ago
- Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust☆117Updated 4 years ago
- Replib: generic programming & Unbound: generic treatment of binders☆44Updated 2 years ago