staltz / jaceLinks
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
Sorting:
- Shem's powerful IDE.☆62Updated 5 years ago
- Higher-Order Contracts for JavaScript☆14Updated 8 years ago
- (superseded by: https://github.com/qteatime/crochet) A safe, extensible, layered programming language that runs on top of JavaScript☆32Updated 2 years ago
- Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.☆61Updated 8 years ago
- Implementations of µKanren in assorted languages☆64Updated 9 years ago
- sweet.js macros for Fantasy Land compatible structures.☆35Updated 11 years ago
- Parser combinators for JS☆13Updated 10 years ago
- The common BODil Oriented Language☆313Updated 8 years ago
- Roguelike for 7DRL make in Elm☆30Updated 9 years ago
- Clojure's Transducers in Haskell☆40Updated 9 years ago
- Totally functional programming literature☆60Updated 6 years ago
- ☆52Updated 6 years ago
- Helpers for incremental operations on map like data structures.☆26Updated 3 weeks ago
- port of the haskell package Data.Aviary.Birds. Every thing for your combinatory needs.☆93Updated 8 years ago
- Example of React Bindings for PureScript☆47Updated 6 years ago
- The theory of coeffects presented in the dead wood format. Crocodile leather bound copies available upon request.☆27Updated 8 years ago
- Another attempt to realize my programming language☆23Updated 7 months ago
- Talk material for LambdaJam 2014/2015 on denotational design☆122Updated last year
- Turn non-concurrent FantasyLand Applicatives concurrent☆24Updated 5 years ago
- Denotational Design: from programs to meanings☆100Updated 9 years ago
- Clojure transducers in a typed setting, in Haskell☆55Updated 10 years ago
- Crux Programming Language☆53Updated last month
- A step-by-step MicroKanren evaluator☆29Updated 8 years ago
- Simple OCaml Development Workflow on CommonJS☆97Updated 6 years ago
- Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure☆24Updated 9 years ago
- ramda logic☆44Updated 11 months ago
- A clone of 2048 using FRP in elm.☆32Updated 11 years ago
- Shen on javascript.☆70Updated 7 years ago
- [status: superseded by Purr] Sirën is an experimental context-based programming language with ad hoc multiple hierarchies, and multimetho…☆128Updated 8 years ago
- A simple HTTP server in Reason using cohttp and built with Rebel.☆10Updated 8 years ago