jserot

fsml. An OCaml library for describing and simulating synchronous finite state machines")

caph. A language and toolset for implementing dataflow applications on FPGAs

rfsm. A toolset for describing and simulating StateChart-like state diagrams.

lascar. An OCaml library for manipulating Labeled Transition Systems

hocl. HoCL (Higher Order dataflow Coordination Language) is a language for describing dataflow networks and generating tool-specific descriptions.

dune-howto. A collection of simple projects showing how to to use dune and opam to build and use packages

efsm. OCaml

go2b. OCaml

fcf. A small DSL for describing Functional Compute FSMs

opam-howto. A quick how-to showing how to build and use OPAM packages with and without Dune