We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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.
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
NES emulator in OCaml
OCaml 37
6502 chip simulator in OCaml
OCaml 10 1
Examples of MetAcsl specification
C 1
Implementation of the Royal Game of Ur with OCaml and OpenGL/SDL
OCaml 10
A software meant to approximate bin-packing problem for SVG shapes
C++ 2
Test implementation of FPC with computation/value modality
OCaml 3