Skip to content
View jserot's full-sized avatar
13 followers · 0 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: StarstruckAchievement: Pull Shark

Achievements

Achievement: Arctic Code Vault ContributorAchievement: StarstruckAchievement: Pull Shark

Block or report jserot

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. fsml fsml Public

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

    OCaml 32

  2. caph caph Public

    A language and toolset for implementing dataflow applications on FPGAs

    OCaml 27 1

  3. rfsm rfsm Public

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

    OCaml 25

  4. lascar lascar Public

    An OCaml library for manipulating Labeled Transition Systems

    OCaml 24 3

  5. hocl hocl Public

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

    OCaml 21

  6. dune-howto dune-howto Public

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

    Makefile 13 2