jaredly / j3

Related projects: ⓘ

• jaredly / jerd
  ☆36Updated 2 years ago
• cdfa / frugel
  An error-tolerant live programming environment (my Master's thesis)
  ☆17Updated 2 years ago
• brendanzab / elm-stlc
  Bidirectional type checker for the simply typed lambda calculus
  ☆13Updated 4 years ago
• unisonweb / codebase-ui
  Unison Codebase UI
  ☆46Updated 2 years ago
• lurk-lab / introit
  The Yatima Standard Library
  ☆20Updated 9 months ago
• janestreet / incr_map
  Helpers for incremental operations on map like data structures.
  ☆26Updated 3 weeks ago
• jaredly / unison.rs
  ☆68Updated 2 years ago
• jaredly / myntax
  ☆51Updated 5 years ago
• joelburget / lvca
  language verification, construction, and analysis
  ☆20Updated 2 years ago
• fplab / ui-for-pl
  User Interfaces for Programming Languages: The Compendium
  ☆28Updated 3 years ago
• geoffreylitt / mini-adapton
  Typescript Implementation of mini-adapton (https://arxiv.org/pdf/1609.05337.pdf)
  ☆24Updated 2 years ago
• Denommus / react-react
  Integrating ReasonReact with Erratique's React!
  ☆34Updated 2 years ago
• pachadb / pachadb
  an edge database
  ☆25Updated last month
• unisonweb / ui-core
  Shared design system and core components for Unison Local and Unison Share
  ☆21Updated 2 weeks ago
• fluffynukeit / scbt
  Implementation of "Sound and Complete Bidirectional Typechecking..." by Dunfield and Krishnaswami, POPL 2019
  ☆11Updated 4 years ago
• slightknack / effective
  Messing around with delimited continuations, fibers, and algebraic effects
  ☆14Updated 2 years ago
• Risto-Stevcev / bs-effects
  Bucklescript data structures for effectful sync and async programming
  ☆37Updated 4 years ago
• forest-lang / notes
  Notes from my research for forest-lang
  ☆12Updated 2 years ago
• scoville / re-optic
  An optic library for ReScript (OCaml and ReasonML)
  ☆18Updated last year
• jkoppel / ecta
  ☆33Updated 5 months ago
• kritzcreek / purescript-wasm
  Wasm library for PureScript
  ☆26Updated last month
• lunarcast / lunarflow
  Lambda calculus go brrrr
  ☆28Updated last year
• ELLIOTTCABLE / bs-deriving
  Type-driven code generation for OCaml, ReasonML, and BuckleScript
  ☆42Updated last year
• polytypic / f-omega-mu
  Fωμ type checker and compiler
  ☆51Updated last year
• avsm / ocaml-lens
  Private extraction of astrada's lens library
  ☆66Updated 3 years ago
• Ucombinator / parsing-with-zippers
  A clean implementation of Parsing with Zippers.
  ☆36Updated 5 years ago
• lemaetech / reparse
  Reparse is a monadic, recursive descent based, comprehensive parser construction library for ocaml.
  ☆54Updated 3 years ago
• bertas / hm_prolog
  A Hindley-Milner type inference implementation in Prolog
  ☆13Updated 9 years ago
• jsdf / lisp.re
  A LISP interpreter written in ReasonML, targeting native and browser environments
  ☆16Updated 6 years ago
• af / shmup.re
  Learning Reason/OCaml by making an old-school canvas game.
  ☆24Updated 6 years ago