jaredly / j3Links
Another attempt to realize my programming language
☆23Updated 3 months ago
Alternatives and similar repositories for j3
Users that are interested in j3 are comparing it to the libraries listed below
Sorting:
- ☆37Updated 3 years ago
- An error-tolerant live programming environment (my Master's thesis)☆18Updated 2 years ago
- ☆52Updated 6 years ago
- A library with an encoding of higher kinded types in OCaml☆40Updated this week
- Learning Reason/OCaml by making an old-school canvas game.☆25Updated 7 years ago
- User Interfaces for Programming Languages: The Compendium☆27Updated 4 years ago
- Glas language system supports a deterministic build system with user-defined syntax, and an alternative vision of applications.☆22Updated last month
- a ML-style programming language based on the calculus of constructions type theory☆16Updated last month
- Integrating ReasonReact with Erratique's React!☆35Updated 5 months ago
- Helpers for incremental operations on map like data structures.☆26Updated this week
- Private extraction of astrada's lens library☆66Updated 4 years ago
- Messing around with delimited continuations, fibers, and algebraic effects☆15Updated 3 years ago
- Bucklescript data structures for effectful sync and async programming☆37Updated 5 years ago
- Bidirectional type checker for the simply typed lambda calculus☆14Updated 5 years ago
- Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure☆23Updated 9 years ago
- Prototype for https://github.com/Innf107/vega☆19Updated 10 months ago
- Automatically derive bindings for Servant APIs in Reason☆12Updated 6 years ago
- Quick and Dirty development builds☆19Updated 8 years ago
- Reparse is a monadic, recursive descent based, comprehensive parser construction library for ocaml.☆53Updated 3 years ago
- BuckleScript bindings for Lwt☆26Updated 8 years ago
- Bringing Prolog to the masses.☆36Updated 3 years ago
- A DOM Library for BuckleScript☆9Updated 7 years ago
- An example of using the lisp syntax for reason/ocaml☆36Updated 6 years ago
- Writing multicore programs with Reason☆15Updated 4 years ago
- A frontend for the 1111 stable diffusion API☆18Updated 2 weeks ago
- The core OCaml system: compilers, runtime system, base libraries; WebAssembly port based on wasi-kernel☆43Updated 2 years ago
- A statically typed Lisp dialect with algebraic effect system compiling to Javascript☆41Updated 2 years ago
- An optic library for ReScript (OCaml and ReasonML)☆18Updated last year
- An OCaml library for describing and simulating synchronous finite state machines")☆33Updated 4 years ago
- A clean implementation of Parsing with Zippers.☆38Updated 6 years ago