Skip to content
View stevenvar's full-sized avatar
30 followers · 6 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Starstruckx2Achievement: Pull SharkAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair ExtraordinaireAchievement: Starstruckx2Achievement: Pull SharkAchievement: Arctic Code Vault Contributor

Block or report stevenvar

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. OMicroB OMicroB Public

    An OCaml generic virtual machine for microcontrollers

    OCaml 142 23

  2. OCaLustre OCaLustre Public

    OCaml syntax extension for synchronous programming...

    OCaml 31 2

  3. bytecrawler bytecrawler Public

    WCET computing of OCaml bytecode (for microcontrollers)

    OCaml 3 1

  4. sudocaml sudocaml Public

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

    OCaml 3

  5. EquivalenceChecking EquivalenceChecking Public

    Prototype for equivalence checking of two ML programs

    OCaml 2

  6. CIS194-upenn-Haskell CIS194-upenn-Haskell Public

    Solutions for CIS194 (2015) homework assignments

    Haskell