jserot

Results 5 repositories owned by jserot

caph

27
Stars
1
Forks
Watchers

A language and toolset for implementing dataflow applications on FPGAs

verified publisher icon jserot

fsml

32
Stars
0
Forks
Watchers

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

verified publisher icon jserot

hocl

21
Stars
0
Forks
Watchers

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

verified publisher icon jserot

lascar

24
Stars
3
Forks
Watchers

An OCaml library for manipulating Labeled Transition Systems

verified publisher icon jserot

rfsm

26
Stars
0
Forks
Watchers

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

verified publisher icon jserot