stevenvar/OCaLustre stevenvar/OCaLustre

  • Stars
    star
    31
  • Rank 799,034 (Top 17 %)
  • Language
    OCaml
  • Created almost 9 years ago
  • Updated 10 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
stevenvar/OCaLustre
github

stevenvar

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

OCaml syntax extension for synchronous programming...

More Repositories

1

OMicroB

An OCaml generic virtual machine for microcontrollers
OCaml
130
star
2

bytecrawler

WCET computing of OCaml bytecode (for microcontrollers)
OCaml
3
star
3

EquivalenceChecking

Prototype for equivalence checking of two ML programs
OCaml
2
star
4

sudocaml

Sudoku solver written in OCaml (based on http://norvig.com/sudoku.html)
OCaml
2
star