Steven Varoumas (@stevenvar)
github

stevenvar

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    168
  • Global Rank 137,428 (Top 5 %)
  • Followers 30
  • Following 6
  • Registered over 10 years ago
  • Most used languages
    OCaml
         100.0 %
  • Location 🇬🇧 United Kingdom
  • Country Total Rank 6,475
  • Country Ranking
    OCaml
         22

Top repositories

1

OMicroB

An OCaml generic virtual machine for microcontrollers
OCaml
130
star
2

OCaLustre

OCaml syntax extension for synchronous programming...
OCaml
31
star
3

bytecrawler

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

EquivalenceChecking

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

sudocaml

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