staltz / jace
just another compiler experiment
☆14Updated 8 years ago
Alternatives and similar repositories for jace:
Users that are interested in jace are comparing it to the libraries listed below
- [Unmaintained: please use jsverify instead] A property-based testing library for clearly specifying code invariants and behaviour.☆78Updated 10 years ago
- sweet.js macros for Fantasy Land compatible structures.☆34Updated 11 years ago
- A generic zipper library for JavaScript☆29Updated 8 years ago
- Recursion schemes in TypeScript (POC)☆22Updated 4 years ago
- Higher-Order Contracts for JavaScript☆14Updated 7 years ago
- Helpers for incremental operations on map like data structures.☆26Updated last month
- Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure☆23Updated 9 years ago
- Roguelike for 7DRL make in Elm☆30Updated 8 years ago
- Exploring Concurrent ML in Reason☆18Updated 7 years ago
- Little demo using Elm from Cycle.js as a driver☆18Updated 9 years ago
- A step-by-step MicroKanren evaluator☆29Updated 8 years ago
- Parser combinators for JS☆13Updated 9 years ago
- *DEPRECATED: See ocaml-multicore/ocaml-multicore* OCaml effects handlers☆27Updated 8 years ago
- The theory of coeffects presented in the dead wood format. Crocodile leather bound copies available upon request.☆26Updated 7 years ago
- Shem's powerful IDE.☆62Updated 4 years ago
- A modified version of Brent Yorgey's CIS 194 Haskell course☆17Updated 4 years ago
- ramda logic☆43Updated 3 months ago
- Clojure's Transducers in Haskell☆40Updated 8 years ago
- ☆51Updated 5 years ago
- Unison Codebase UI☆46Updated 2 years ago
- ReasonML minimal webpack config with webpack-dashboard & reports enabled☆18Updated 7 years ago
- Clojure transducers in a typed setting, in Haskell☆55Updated 9 years ago
- A low level Haskell library to connect to postgres☆25Updated 2 years ago
- because nobody really wants to eat boiled silkworms☆13Updated 7 years ago
- An experiment with higher-kinded types in elm☆57Updated 8 years ago
- Free monads for bucklescript☆25Updated 6 years ago
- Haskell to Elm translation using Template Haskell. Contains both a library and executable.☆49Updated 7 years ago
- Working through Type-Driven Development with Idris☆24Updated 8 years ago
- Auto reloading PureScript compiler☆28Updated 6 years ago
- Type classes for interoperability of common algebraic structures in JavaScript, TypeScript and Flow☆46Updated 7 months ago