jaredly / j3Links
Another attempt to realize my programming language
☆23Updated 5 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
- Helpers for incremental operations on map like data structures.☆26Updated last month
- ☆52Updated 6 years ago
- An error-tolerant live programming environment (my Master's thesis)☆19Updated 2 years ago
- A library with an encoding of higher kinded types in OCaml☆40Updated last month
- (superseded by: https://github.com/qteatime/crochet) A safe, extensible, layered programming language that runs on top of JavaScript☆32Updated 2 years ago
- Translate OCaml bytecode to WebAssembly☆132Updated 5 months ago
- an edge database☆29Updated 11 months ago
- Glas language system supports a deterministic build system with user-defined syntax, and an alternative vision of applications.☆22Updated last week
- User Interfaces for Programming Languages: The Compendium☆28Updated 4 years ago
- Private extraction of astrada's lens library☆66Updated 4 years ago
- OCaml bindings for Binaryen.☆50Updated last month
- A simple monadic parser combinator library for OCaml☆67Updated 2 years ago
- ☆69Updated 2 years ago
- A template for you to implement Hazelnut yourself☆22Updated last month
- Learning Reason/OCaml by making an old-school canvas game.☆25Updated 7 years ago
- Reparse is a monadic, recursive descent based, comprehensive parser construction library for ocaml.☆53Updated 3 years ago
- Typescript Implementation of mini-adapton (https://arxiv.org/pdf/1609.05337.pdf)☆24Updated 3 years ago
- Full Source Code for Making a Language series☆46Updated 3 weeks ago
- ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.☆38Updated 3 years ago
- OCaml to Golang compiler☆38Updated 4 years ago
- Integrating ReasonReact with Erratique's React!☆35Updated 6 months ago
- The core OCaml system: compilers, runtime system, base libraries; WebAssembly port based on wasi-kernel☆43Updated 2 years ago
- Some data structures and algorithms written in OCaml☆69Updated 4 years ago
- OCaml plus Jane Street extensions☆74Updated 11 months ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆53Updated 5 months ago
- ☆14Updated last year
- The OCaml-Canvas library provides a portable Canvas for OCaml☆59Updated last year
- Statically typed embedding of miniKanren relational programming language into OCaml☆118Updated 3 weeks ago
- Tools for record-and-replay debugging☆43Updated 2 years ago