be5invis / idris-codegen-es
Optimized JS codegen for Idris
☆54Updated 6 years ago
Related projects: ⓘ
- ☆33Updated this week
- The MLPolyR programming language, revived☆24Updated 3 years ago
- 用作文档目的，翻译方式见 Issue #10☆41Updated 5 years ago
- ☆19Updated 8 years ago
- Dive into GHC☆82Updated 7 years ago
- ☆25Updated 7 years ago
- array, slices and text☆70Updated 2 months ago
- ☆17Updated this week
- IO lib for haskell☆97Updated 3 months ago
- A collection of Notes on GHC☆69Updated 5 years ago
- Haskell on-disk B* tree implementation☆116Updated 2 years ago
- Sucessor: https://github.com/thautwarm/Quick-Backend☆24Updated 4 years ago
- Complete raw OpenGL bindings for Haskell☆93Updated 4 months ago
- Higher-order optimization library☆73Updated last year
- The Disco Discus Compiler☆174Updated 5 years ago
- A function-oriented language with effect inference☆19Updated 10 years ago
- Python module for composing computations☆26Updated last year
- Pretty printer for LLVM AST to Textual IR☆66Updated 2 years ago
- Replib: generic programming & Unbound: generic treatment of binders☆44Updated last year
- Learn You a Lambda, a Haskell Tutorial☆47Updated 7 years ago
- Haskell Standard Input and Output☆105Updated 3 years ago
- Type inference for 'type level computation one step at a time'☆12Updated 6 years ago
- Dependently-typed row-polymorphic programming language, evolved from minitt-rs☆95Updated 3 years ago
- Slides from a talk on how to build a simple Haskell web framework☆25Updated 7 years ago
- Literature review of GHC's Core language, System FC☆67Updated 6 years ago
- ☆11Updated this week
- Drafts, notes and resources for adding linear typing to GHC.☆75Updated 4 years ago
- A naive θ..θ programming language☆27Updated 5 years ago
- Functional Reactive Animation Drawing Environment☆9Updated 7 years ago
- FP & Haskell Paper collection; an better reference https://wiki.haskell.org/Research_papers☆12Updated 7 years ago