jaredly / j3
Another attempt to realize my programming language
☆21Updated last week
Alternatives and similar repositories for j3:
Users that are interested in j3 are comparing it to the libraries listed below
- ☆36Updated 3 years ago
- An error-tolerant live programming environment (my Master's thesis)☆18Updated 2 years ago
- A library with an encoding of higher kinded types in OCaml☆39Updated 2 months ago
- Unison Codebase UI☆46Updated 2 years ago
- Helpers for incremental operations on map like data structures.☆26Updated last month
- ☆51Updated 5 years ago
- Integrating ReasonReact with Erratique's React!☆35Updated 3 weeks ago
- WebAssembly specification, reference interpreter, and test suite with effect handlers extension.☆32Updated 2 years ago
- An optic library for ReScript (OCaml and ReasonML)☆18Updated last year
- Messing around with delimited continuations, fibers, and algebraic effects☆15Updated 3 years ago
- Reparse is a monadic, recursive descent based, comprehensive parser construction library for ocaml.☆53Updated 3 years ago
- ☆14Updated last year
- A dependently typed programming language with direct style effects and linearity☆19Updated 5 months ago
- Automatically derive bindings for Servant APIs in Reason☆12Updated 5 years ago
- Bidirectional type checker for the simply typed lambda calculus☆14Updated 4 years ago
- language verification, construction, and analysis☆20Updated 2 years ago
- A clean implementation of Parsing with Zippers.☆37Updated 6 years ago
- Learning Reason/OCaml by making an old-school canvas game.☆24Updated 7 years ago
- an edge database☆28Updated 5 months ago
- Tools for record-and-replay debugging☆43Updated last year
- The core OCaml system: compilers, runtime system, base libraries; WebAssembly port based on wasi-kernel☆43Updated 2 years ago
- OCaml plus Jane Street extensions☆73Updated 6 months ago
- A frontend for the 1111 stable diffusion API☆17Updated last week
- Code examples from Scott Wlaschin's book "Domain Modeling Made Functional" converted from F# to ReasonML.☆17Updated last year
- A template for you to implement Hazelnut yourself☆20Updated this week
- A simple monadic parser combinator library for OCaml☆66Updated 2 years ago
- Writing multicore programs with Reason☆15Updated 4 years ago
- Bucklescript data structures for effectful sync and async programming☆37Updated 4 years ago
- ☆25Updated 3 years ago
- ☆14Updated 3 years ago