jcouyang / alacarteLinks
Data Types a la carte from PureScript -> JavaScript
☆13Updated 8 years ago
Alternatives and similar repositories for alacarte
Users that are interested in alacarte are comparing it to the libraries listed below
Sorting:
- Sucessor: https://github.com/thautwarm/Quick-Backend☆24Updated 5 years ago
- The MLPolyR programming language, revived☆25Updated 4 years ago
- Working through Type-Driven Development with Idris☆24Updated 8 years ago
- Book: Introduction to Dependent Types with Idris☆78Updated 2 years ago
- A collection of PLT researching☆29Updated 4 months ago
- Optimized JS codegen for Idris☆54Updated 6 years ago
- Fast parser combinator library for Haskell with two strategies (Fast acceptor and slower reporter with decent error messages)☆59Updated 5 years ago
- A SuperCompiler for Martin-Löf's Type Theory☆122Updated 3 years ago
- VSCode extension for the Arend language☆11Updated 2 years ago
- Elaboration with inductive types☆16Updated 2 years ago
- xmonad in Coq☆46Updated 13 years ago
- Effectful Streaming for Idris☆14Updated 4 years ago
- A tutorial to the Idris Programming Language.☆95Updated 9 years ago
- an implementation of Observational Type Theory (OTT) and more☆26Updated 2 years ago
- MLpolyR☆7Updated 9 years ago
- Higher-order optimization library☆74Updated 2 years ago
- Dependently-typed row-polymorphic programming language, evolved from minitt-rs☆97Updated 4 years ago
- A naive θ..θ programming language☆27Updated 6 years ago
- Idris 2 bindings to various C libraries☆15Updated 4 years ago
- The Ntha Programming Language☆92Updated 8 years ago
- Resume (template) written in Typst☆10Updated 2 months ago
- ☆11Updated 3 months ago
- Neon lights in the night tonight and stars that shine in the open sky☆44Updated last year
- Presentations on Liquid Haskell, type theory, and more☆45Updated 8 months ago
- FFI Bindings to interact with the unsafe world of JavaScript☆93Updated 6 years ago
- Successor project: https://github.com/thautwarm/Quick-Backend☆24Updated 6 years ago
- Haskell on-disk B* tree implementation☆116Updated 3 years ago
- HaskellKanren (HK) is an implementation of the Kanren logic programming system in Haskell.☆22Updated 13 years ago
- A mini-book on category theory. Superseded by https://github.com/jonsterling/forest☆52Updated 2 years ago
- Documented version of a simple type-theoretic language: Mini-TT☆18Updated 6 years ago