keil / TreatJSLinks
Higher-Order Contracts for JavaScript
☆14Updated 8 years ago
Alternatives and similar repositories for TreatJS
Users that are interested in TreatJS are comparing it to the libraries listed below
Sorting:
- Simple OCaml Development Workflow on CommonJS☆97Updated 6 years ago
- A step-by-step MicroKanren evaluator☆29Updated 9 years ago
- Private extraction of astrada's lens library☆65Updated 4 years ago
- *DEPRECATED: See ocaml-multicore/ocaml-multicore* OCaml effects handlers☆27Updated 9 years ago
- A clean implementation of Parsing with Zippers.☆38Updated 7 years ago
- Build system☆89Updated 7 years ago
- ☆30Updated 11 years ago
- ☆52Updated 6 years ago
- Addons modules for the BuckleScript OCaml->Javascript translator☆38Updated 7 years ago
- Another attempt to realize my programming language☆23Updated 9 months ago
- Like async/await syntax for Promises in JS but for OCaml☆17Updated 7 years ago
- BuckleScript bindings for Lwt☆24Updated 8 years ago
- Create, Control, Execute JavaScript in OCaml. Think of the possibilities.☆29Updated 9 years ago
- Write OCaml, run on Electron.☆77Updated last month
- A language-integrated proof assistant, for and in Racket☆39Updated 9 years ago
- Totally functional programming literature☆60Updated 6 years ago
- Bucklescript data structures for effectful sync and async programming☆35Updated 5 years ago
- JSON combinator library for BuckleScript/Reason☆38Updated 6 years ago
- ReasonML minimal webpack config with webpack-dashboard & reports enabled☆18Updated 8 years ago
- Shem's powerful IDE.☆62Updated 5 years ago
- Multilingualization for the OCaml source code☆49Updated 6 years ago
- Resources for "One Monad to Prove Them All"☆29Updated 6 years ago
- GraphQL in OCaml tutorial (CUFP 2017)☆29Updated 8 years ago
- Reason React with editable source and live preview☆22Updated 7 years ago
- Dependent JavaScript: A Typed Dialect☆87Updated 12 years ago
- Idris Lib to interact with the DOM and Browser API for the JavaScript backend☆40Updated 7 years ago
- Higher-order FRP compiler☆15Updated 4 years ago
- an example esy-powered OCaml project☆55Updated 5 years ago
- An Introduction to Redex with Abstracting Abstract Machines☆104Updated last year
- A webpack loader for Haskell (!)☆15Updated 10 years ago