A toolset for describing and simulating StateChart-like state diagrams.
☆27Dec 30, 2025Updated 2 months ago
Alternatives and similar repositories for rfsm
Users that are interested in rfsm are comparing it to the libraries listed below
Sorting:
- ImpFS, a new filesystem.☆21Feb 6, 2022Updated 4 years ago
- OCaml implementation of sets as hash tables by Jean-Christophe Filliatre☆10Feb 13, 2025Updated last year
- bindings to gnuplot (fork of https://bitbucket.org/ogu/gnuplot-ocaml/)☆13May 6, 2024Updated last year
- Easy OCaml scripts (unreleased)☆20Feb 13, 2026Updated 2 weeks ago
- Dig into an opam switch for doc☆10Apr 8, 2022Updated 3 years ago
- Literate assertions for OCaml☆18Oct 3, 2019Updated 6 years ago
- Binary packages for OPAM with local and remote repositories☆17Dec 27, 2022Updated 3 years ago
- HTTP/1.1 client library for OCaml☆15Apr 28, 2020Updated 5 years ago
- A not-quite-so-simple Binary Decision Diagrams implementation for OCaml☆37Jan 30, 2022Updated 4 years ago
- OCaml bindings to the number theory library PARI/GP☆12Jan 11, 2025Updated last year
- Revamp ocaml-manual☆10Oct 18, 2020Updated 5 years ago
- Cash is a Unix shell that is embedded within Objective Caml. It's a Caml implementation of (an as large as possible subset of) the API of…☆11Sep 7, 2013Updated 12 years ago
- An OCaml library for describing and simulating synchronous finite state machines")☆33Mar 30, 2021Updated 4 years ago
- Convert a cmi file back to an mli interface☆20Jan 18, 2015Updated 11 years ago
- ppx rewriter for [@@deriving jsobject]☆31Aug 12, 2025Updated 6 months ago
- Letters is an OCaml library for creating and sending emails over SMTP using LWT☆55Jan 14, 2025Updated last year
- Event-based simulation of elastic collisions between balls☆14May 27, 2020Updated 5 years ago
- Complete, typesafe representation of Vega-Lite in OCaml☆10Nov 13, 2017Updated 8 years ago
- Library containing the definition of S-expressions and some base converters☆20Jan 15, 2026Updated last month
- An OCaml clustering library☆20Apr 26, 2021Updated 4 years ago
- OCaml bindings for the PKCS#11 cryptographic API☆23Feb 11, 2023Updated 3 years ago
- Schema definition and validation with support for decoding to bridge the gap between runtime types and static types.☆35Apr 6, 2022Updated 3 years ago
- 7GUIs implemented in OCaml with LablGtk3☆16Apr 5, 2025Updated 10 months ago
- ☆21Mar 6, 2019Updated 6 years ago
- OCaml asynchronous scheduler and monad for server-oriented programming.☆16Apr 8, 2025Updated 10 months ago
- OCaml bindings to Minisat☆12May 6, 2024Updated last year
- Format string experimentations☆13Jul 19, 2021Updated 4 years ago
- Map à la Binary Radix Tree☆19Mar 10, 2022Updated 3 years ago
- Get the size of the attached terminal in OCaml☆14Apr 26, 2022Updated 3 years ago
- Reparse is a monadic, recursive descent based, comprehensive parser construction library for ocaml.☆54Jul 21, 2021Updated 4 years ago
- Composable byte stream readers and writers for OCaml☆22Feb 13, 2026Updated 2 weeks ago
- Hilite - a simple code to HTML syntax highlighter☆22Aug 18, 2025Updated 6 months ago
- Data visualization and plotting for OCaml☆19Nov 28, 2017Updated 8 years ago
- Simple, in-memory, monomorphic and heterogeneous search indexes in OCaml☆25Jan 11, 2023Updated 3 years ago
- OCaml binary heap implementation by Jean-Christophe Filliatre☆18Nov 29, 2020Updated 5 years ago
- Convert Markdown and YAML Data to OCaml Modules☆17Apr 26, 2023Updated 2 years ago
- A dynamic way to instantiate an OCaml flow☆17Updated this week
- ☆14Aug 7, 2021Updated 4 years ago
- Url safe slug generator for OCaml☆16Jul 19, 2021Updated 4 years ago