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
- ☆19Updated 9 years ago
- The MLPolyR programming language, revived☆24Updated 4 years ago
- 用作文档目的,翻译方式见 Issue #10☆41Updated 5 years ago
- array, slices and text☆70Updated 8 months ago
- Dive into GHC☆82Updated 8 years ago
- Complete raw OpenGL bindings for Haskell☆93Updated last week
- Higher-order optimization library☆74Updated last year
- TParsec - Total Parser Combinators in Idris☆93Updated last year
- Generic parser combinators☆86Updated last week
- IO lib for haskell☆99Updated 9 months ago
- Replib: generic programming & Unbound: generic treatment of binders☆44Updated 2 years ago
- A naive θ..θ programming language☆27Updated 6 years ago
- A collection of Notes on GHC☆69Updated 5 years ago
- Sucessor: https://github.com/thautwarm/Quick-Backend☆24Updated 5 years ago
- Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficien…☆43Updated 5 years ago
- ☆25Updated 8 years ago
- Diffing of (expression) trees.☆77Updated 2 months ago
- The Disco Discus Compiler☆174Updated 6 years ago
- Haskell Standard Input and Output☆46Updated 6 years ago
- (WIP) Dependently-typed programming language with Agda style dependent pattern matching☆80Updated 4 years ago
- Type inference for 'type level computation one step at a time'☆12Updated 7 years ago
- build tool and package manager for idris,in idris,with free monads☆33Updated 6 years ago
- A prototypical dependently typed languages with sized types and variances☆107Updated 2 years ago
- Dependently-typed row-polymorphic programming language, evolved from minitt-rs☆97Updated 4 years ago
- Benchmarks for dictionary data structures: hash tables, maps, tries, etc.☆96Updated 3 years ago
- compiler with polyhedral optmization for a lazy functional programming language☆67Updated 7 years ago
- Pretty printer for LLVM AST to Textual IR☆68Updated 2 years ago
- A function-oriented language with effect inference☆19Updated 10 years ago
- Recursion schemes for Idris☆64Updated 6 years ago
- Towards changing things and see if it proofs☆59Updated 3 years ago