jaredly / j3
Another attempt to realize my programming language
☆23Updated 2 months ago
Alternatives and similar repositories for j3:
Users that are interested in j3 are comparing it to the libraries listed below
- ☆36Updated 3 years ago
- ☆51Updated 6 years ago
- Helpers for incremental operations on map like data structures.☆26Updated 4 months ago
- An error-tolerant live programming environment (my Master's thesis)☆18Updated 2 years ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆43Updated 2 months ago
- A library with an encoding of higher kinded types in OCaml☆40Updated 5 months ago
- User Interfaces for Programming Languages: The Compendium☆27Updated 4 years ago
- Private extraction of astrada's lens library☆66Updated 3 years ago
- ☆14Updated last year
- Reparse is a monadic, recursive descent based, comprehensive parser construction library for ocaml.☆53Updated 3 years ago
- A template for you to implement Hazelnut yourself☆21Updated 3 months ago
- Standard Jane Street ppx rewriters☆33Updated 4 months ago
- Prototype for https://github.com/Innf107/vega☆19Updated 8 months ago
- The core OCaml system: compilers, runtime system, base libraries; WebAssembly port based on wasi-kernel☆43Updated 2 years ago
- Learning Reason/OCaml by making an old-school canvas game.☆24Updated 7 years ago
- ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.☆37Updated 2 years ago
- A clean implementation of Parsing with Zippers.☆37Updated 6 years ago
- OCaml plus Jane Street extensions☆74Updated 9 months ago
- Ordo: A minimalist language with row polymorphism☆82Updated last week
- An easy interface on top of the Irmin library.☆45Updated 4 years ago
- Integrating ReasonReact with Erratique's React!☆35Updated 3 months ago
- Messing around with delimited continuations, fibers, and algebraic effects☆15Updated 3 years ago
- Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure☆23Updated 9 years ago
- Arbitrary-precision decimal based on Zarith☆19Updated 5 months ago
- Tools for record-and-replay debugging☆43Updated 2 years ago
- Transducers for Idris: a library for composable algorithmic transformation.☆32Updated 7 years ago
- Glas language system supports a deterministic build system with user-defined syntax, and an alternative vision of applications.☆22Updated last week
- *DEPRECATED: See ocaml-multicore/ocaml-multicore* OCaml effects handlers☆27Updated 8 years ago
- Demo project for using Protobuf message with BuckleScript☆21Updated 5 years ago
- The future of ppx https://discuss.ocaml.org/t/the-future-of-ppx/☆53Updated 4 years ago