OhadRau / Quartz

Related projects ⓘ

Alternatives and complementary repositories for Quartz

• owainlewis / bridge
  A type-safe, stack-based functional programming language
  ☆15Updated 2 years ago
• fold-lang / fold
  A meta-language for OCaml. (Unreleased)
  ☆25Updated last year
• essdotteedot / distributed
  Library to provide Erlang style distributed computations. This library is inspired by Cloud Haskell.
  ☆56Updated 5 years ago
• soren-n / bidi-higher-rank-poly
  Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…
  ☆22Updated 3 years ago
• EduardoRFS / ocaml-jit-example
  unloading modules with ocaml native
  ☆16Updated 3 years ago
• janestreet / higher_kinded
  A library with an encoding of higher kinded types in OCaml
  ☆39Updated 2 weeks ago
• gfngfn / toy-macro-ml
  An implementation of MacroML [Ganz, Sabry & Taha 2001]
  ☆30Updated 5 years ago
• lpw25 / ocaml-typed-effects
  OCaml with typed algebraic effects
  ☆48Updated 6 years ago
• manshengyang / minikanren-ocaml
  miniKanren in OCaml
  ☆31Updated last year
• EduardoRFS / typedppxlib
  ☆25Updated 2 years ago
• samoht / depyt
  Yet another type combinator library
  ☆54Updated 2 years ago
• elpinal / types-1ml
  Type systems written in 1ML
  ☆9Updated 5 years ago
• berke / aurochs
  Aurochs is a parser generator that uses the parse expression grammar (PEG) or "packrat" approach. It takes a grammar in a BNF-like notat…
  ☆45Updated last year
• brick-lang / kekka
  An implementation of Daan Leijen's λ^k effect-conscience type system in OCaml
  ☆14Updated 3 years ago
• RedPRL / algaeff
  🦠 Reusable components based on algebraic effects
  ☆47Updated last month
• owainlewis / forth
  A micro compiler for the FORTH programming language
  ☆11Updated 3 years ago
• keigoi / linocaml
  Monad-based linear types in OCaml, with a few syntax extensions
  ☆37Updated 5 years ago
• keigoi / ocaml-mpst
  Multiparty Session Types in OCaml
  ☆57Updated 3 weeks ago
• dhil / pthandlers
  an encoding of affine effect handlers using pthreads
  ☆12Updated 2 years ago
• hbr / fmlib
  Functional Monadic Library for Ocaml
  ☆46Updated this week
• anentropic / ocaml-spectrum
  Library for color and formatting in the terminal
  ☆20Updated 2 years ago
• xanadu-lang / xanadu
  This repository is supposed to hold a released version of Xanadu
  ☆23Updated 3 years ago
• gregszymanski / mini-rust
  Compiler for a simplified version of Rust developed in OCaml under Jean Christophe Filliatre Supervision (https://www.lri.fr/~filliatr/in…
  ☆12Updated 4 years ago
• elpinal / modules-rs
  An interpreter of F-ing modules
  ☆18Updated 5 years ago
• whitequark / ocaml-llvm-ng
  A practical LLVM backend for OCaml (will never be finished)
  ☆33Updated 10 years ago
• c-cube / choice
  Choice operator in OCaml, providing a backtracking monad
  ☆24Updated 2 years ago
• janestreet / sexp
  S-expression swiss knife
  ☆43Updated this week
• Ekdohibs / joujou
  A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …
  ☆87Updated 5 years ago
• rbardou / clap
  Command-Line Argument Parsing, imperative style with a consumption mechanism.
  ☆24Updated last year
• Drup / fugit
  A small CLI to launch notifications at a given time
  ☆13Updated 4 years ago