jaredly / j3
Another attempt to realize my programming language
☆18Updated this week
Related projects ⓘ
Alternatives and complementary repositories for j3
- ☆36Updated 3 years ago
- An error-tolerant live programming environment (my Master's thesis)☆18Updated 2 years ago
- An optic library for ReScript (OCaml and ReasonML)☆18Updated last year
- ☆14Updated last year
- Writing multicore programs with Reason☆15Updated 3 years ago
- Bidirectional type checker for the simply typed lambda calculus☆13Updated 4 years ago
- Integrating ReasonReact with Erratique's React!☆35Updated 2 years ago
- Type-driven code generation for OCaml, ReasonML, and BuckleScript☆42Updated last year
- an edge database☆27Updated 3 months ago
- ☆14Updated 3 years ago
- Code examples from Scott Wlaschin's book "Domain Modeling Made Functional" converted from F# to ReasonML.☆17Updated last year
- Styling extension for ReScript.☆38Updated 2 years ago
- A LISP interpreter written in ReasonML, targeting native and browser environments☆16Updated 6 years ago
- An OCaml library for describing and simulating synchronous finite state machines")☆32Updated 3 years ago
- Light weight runtime for ReScript☆15Updated last year
- A template for you to implement Hazelnut yourself☆19Updated last month
- Bucklescript data structures for effectful sync and async programming☆37Updated 4 years ago
- Typescript Implementation of mini-adapton (https://arxiv.org/pdf/1609.05337.pdf)☆24Updated 2 years ago
- a mirage kernel using esy☆18Updated 3 years ago
- A Haskell fan fiction for ReasonML☆20Updated 5 years ago
- A DOM Library for BuckleScript☆9Updated 6 years ago
- Repurpose object literals.☆14Updated 5 years ago
- Implementation of "Sound and Complete Bidirectional Typechecking..." by Dunfield and Krishnaswami, POPL 2019☆11Updated 4 years ago
- Fast pipe, pipe first as a syntax transform☆27Updated 4 years ago
- OCaml to Golang compiler☆37Updated 3 years ago
- User Interfaces for Programming Languages: The Compendium☆27Updated 3 years ago
- Pseudo 3D racing game built with Reprocessing☆11Updated 7 months ago
- CRDT-like data structures for building distributed, offline-first applications☆33Updated 4 years ago
- curated list of reasonml PPX rewriter☆29Updated last year
- A declarative, type-safe template language☆25Updated this week