jserot,github

A language and toolset for implementing dataflow applications on FPGAs

User contributions to the CAPH system

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

A small DSL for describing Functional Compute FSMs

Source code repository for the book "Les circuits FPGA et le langage VHDL. Une introduction pour les programmeurs et par l'exemple"

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

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

An OCaml library for manipulating Labeled Transition Systems

LiveSpeckle is plugin for the Genika Astro image acquisition sofware decicated to the observation of double stars

A demo project showing how to design and implement a _parameterized_ language in OCaml using modules and functors.

A port of the OMicroB OCaml virtual machine dedicated for soft-core CPUs running on FPGAs

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

Main public package repository for OPAM, the source package manager of OCaml.

Interactive Qt graphViz display

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

An application for describing and simulating StateChart-like state diagrams

RFSM-Light is a simplified version of the RFSM Reactive Finite State Machines simulator and compiler

A Small and Simple Finite State Diagram Editor

An application to help astronomers making measurements of double stars

jserot Goto Github PK