Steven Varoumas stevenvar

7 followers · 12 following

• SSH keys
• GPG keys

• Cambridge, UK
• https://stevenvar.github.io/

• Compiler Engineer

• Joined on 2016-10-28

Repositories

7

Projects Packages Starred repositories

34

Filter

Clear filters

Archived Not archived

Forks Not forks

Mirrors Not mirrors

Templates Not templates

Private Public

Sort

Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks Smallest size Largest size

OMicroB

OCaml 2 0

An OCaml generic virtual machine for microcontrollers

Updated 2026-01-13 15:54:08 +00:00

OCaLustre

OCaml 1 0

OCaml syntax extension for synchronous programming...

Updated 2023-08-17 20:46:29 +00:00

py2048

Python 1 0

Very simple implementation of the 2048 game in Python (command line)

Updated 2020-07-29 16:55:38 +00:00

EquivalenceChecking

OCaml 1 0

Prototype for equivalence checking of two ML programs

Updated 2020-03-17 13:24:23 +00:00

bytecrawler

OCaml 1 0

WCET computing of OCaml bytecode (for microcontrollers)

Updated 2019-06-30 12:49:02 +00:00

sudocaml

OCaml 1 0

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

Updated 2017-10-14 22:25:02 +00:00

CIS194-upenn-Haskell

Haskell 1 0

Solutions for CIS194 (2015) homework assignments

Updated 2016-03-15 11:02:25 +00:00