OhadRau / QuartzLinks
The official compiler for the Quartz programming language
☆29Updated 7 years ago
Alternatives and similar repositories for Quartz
Users that are interested in Quartz are comparing it to the libraries listed below
Sorting:
- A meta-language for OCaml. (Unreleased)☆25Updated 8 months ago
- A type-safe, stack-based functional programming language☆16Updated 5 months ago
- miniKanren in OCaml☆31Updated 2 years ago
- Ocaml multimedia library☆30Updated 3 years ago
- Library to provide Erlang style distributed computations. This library is inspired by Cloud Haskell.☆58Updated 5 years ago
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22Updated 4 years ago
- An implementation of MacroML [Ganz, Sabry & Taha 2001]☆32Updated 6 years ago
- Ropes ("heavyweight strings") for OCaml☆49Updated last year
- Kempe is a compiled stack-based language☆58Updated 10 months ago
- A library with an encoding of higher kinded types in OCaml☆40Updated last month
- The OCaml-Canvas library provides a portable Canvas for OCaml☆59Updated last year
- Multilingualization for the OCaml source code☆49Updated 6 years ago
- Reparse is a monadic, recursive descent based, comprehensive parser construction library for ocaml.☆53Updated 4 years ago
- S-expression pretty-printer☆21Updated last month
- OCaml to Golang compiler☆38Updated 4 years ago
- Binding to Cairo, a 2D Vector Graphics Library.☆56Updated 8 months ago
- Compiler for a simplified version of Rust developed in OCaml under Jean Christophe Filliatre Supervision (https://www.lri.fr/~filliatr/in…☆13Updated 4 years ago
- safe FFI between OCaml and Rust (experimental)☆67Updated 4 years ago
- A compiler from WebAssembly to native code, via the OCaml backend.☆92Updated 6 years ago
- A small CLI to launch notifications at a given time☆13Updated 4 years ago
- Match compilation algorithm in OCaml☆28Updated 5 months ago
- 🦠 Reusable components based on algebraic effects☆51Updated 10 months ago
- The Graphics library from OCaml, in a standalone repository☆71Updated last month
- Declarative 2D vector graphics for OCaml☆96Updated 7 months ago
- Constant time equal function to avoid timing attacks in OCaml☆51Updated last year
- A purely functional dynamically typed programming language.☆56Updated 4 years ago
- A basic snake game with js_of_ocaml.☆12Updated 7 years ago
- unloading modules with ocaml native☆16Updated 4 years ago
- Yet another type combinator library☆54Updated 3 years ago
- Algorithms to layout trees in a pretty manner.☆36Updated 3 years ago