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:
- ☆19Updated 9 years ago
- Generic parser combinators☆87Updated 3 months ago
- The MLPolyR programming language, revived☆25Updated 4 years ago
- 用作文档目的,翻译方式见 Issue #10☆41Updated 6 years ago
- Type inference for 'type level computation one step at a time'☆12Updated 7 years ago
- array, slices and text☆70Updated 11 months ago
- Dive into GHC☆82Updated 8 years ago
- A collection of Notes on GHC☆69Updated 6 years ago
- Replib: generic programming & Unbound: generic treatment of binders☆45Updated 2 years ago
- TParsec - Total Parser Combinators in Idris☆95Updated last year
- ☆25Updated 8 years ago
- A prototypical dependently typed languages with sized types and variances☆109Updated 2 years ago
- Sucessor: https://github.com/thautwarm/Quick-Backend☆24Updated 5 years ago
- IO lib for haskell☆99Updated last year
- The Disco Discus Compiler☆174Updated 6 years ago
- Dependently-typed row-polymorphic programming language, evolved from minitt-rs☆97Updated 4 years ago
- Dead simple SQL database written in Haskell for solely educational purposes☆15Updated 9 years ago
- Complete raw OpenGL bindings for Haskell☆93Updated 3 months ago
- A naive θ..θ programming language☆27Updated 6 years ago
- Type provider library for Idris☆94Updated 7 years ago
- Haskell on-disk B* tree implementation☆116Updated 3 years ago
- Pretty printer for LLVM AST to Textual IR☆68Updated last week
- FFI Bindings to interact with the unsafe world of JavaScript☆93Updated 6 years ago
- Example row-polymorphism implementations☆61Updated last year
- Literature review of GHC's Core language, System FC☆67Updated 6 years ago
- System Fω interpreter for use in Advanced Functional Programming course☆65Updated last year
- Constructive Interpretations of HoTT☆36Updated 4 years ago
- This package provides various primitive memory-related operations.☆117Updated 2 months ago
- Efficient Haskell effect handlers based on evidence translation.☆82Updated 3 years ago
- Higher-order optimization library☆74Updated last year