reactiveml / rml
ReactiveML: a programming language for implementing interactive systems.
☆20Updated 2 years ago
Alternatives and similar repositories for rml:
Users that are interested in rml are comparing it to the libraries listed below
- Memthol is a visualizer for memory profiling data generated from OCaml programs.☆27Updated 2 years ago
- A type-safe, stack-based functional programming language☆15Updated last month
- A Framework for building Batched Concurrent Services☆21Updated 5 months ago
- Menhir polishing toolbox, for experienced druids☆33Updated last week
- Getting started with ocaml-rs☆31Updated 6 months ago
- A platform-agnostic multi-level index☆33Updated last week
- Declarative events and signals for OCaml☆50Updated last year
- ☆15Updated last year
- Yet another type combinator library☆54Updated 3 years ago
- A Btree library in OCaml☆18Updated last year
- The Stream and Genlex libraries for use with Camlp4 and Camlp5☆15Updated 2 months ago
- Lower-Kinded Optics for OCaml☆23Updated last week
- Relational database programming for OCaml (unreleased)☆40Updated 2 weeks ago
- Binding to Cairo, a 2D Vector Graphics Library.☆55Updated 4 months ago
- Testing and benchmarking tool for logic-related programs.☆26Updated this week
- CSS Typed functional interface in jsoo, bindings to inline styles and emotion☆13Updated last year
- ☆50Updated 7 months ago
- Fast, safe mutable dynamic arrays for OCaml☆28Updated last year
- Tools for the runtime tracing in OCaml 4.11.0 and higher☆31Updated 2 years ago
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22Updated 3 years ago
- A library with an encoding of higher kinded types in OCaml☆40Updated 4 months ago
- Implementation of a matrix server in OCaml for MirageOS☆48Updated last year
- A project which aim to help engineers to make proves easily☆13Updated 3 years ago
- Parsing library based on Earley Algorithm☆18Updated 4 years ago
- An OCaml library implementing unifiable abstract binding trees (UABTs)☆27Updated last year
- Property-based testing at ease☆42Updated 3 years ago
- Minimal support for Canonical S-expressions☆28Updated last year
- Low Level Bindings to Libev☆29Updated 5 months ago
- Minimalist OCaml library for command line parsing☆31Updated 4 years ago
- Library to provide Erlang style distributed computations. This library is inspired by Cloud Haskell.☆58Updated 5 years ago