Pinned Repositories
dijkstra-fibonacci
kahn-network
Kahn networks implementation in ocaml
OChipmunk
Port in ocaml of the C library Chipmunk Physics
Ocsfml
Ocaml port of the C++ SFML library.
OcsfmlExamples
Examples for Ocsfml (adapted from SFML examples)
reddit-api-ocaml
static-analyzer
A lite c-like language analyzer
JoeDralliam's Repositories
JoeDralliam/Ocsfml
Ocaml port of the C++ SFML library.
JoeDralliam/kahn-network
Kahn networks implementation in ocaml
JoeDralliam/OChipmunk
Port in ocaml of the C library Chipmunk Physics
JoeDralliam/reddit-api-ocaml
JoeDralliam/static-analyzer
A lite c-like language analyzer
JoeDralliam/OcsfmlExamples
Examples for Ocsfml (adapted from SFML examples)
JoeDralliam/dijkstra-fibonacci
JoeDralliam/kaloterie
JoeDralliam/nhb
Nethack notification over IRC (NhNoIRC) bot
JoeDralliam/OcamlbuildCpp
Set of tools to help creating c++-compatible ocamlbuild plugin
JoeDralliam/opam-repository
Custom opam repository
JoeDralliam/Sysdig
JoeDralliam/UntypedLC
An implementation of untyped lambda calculus, and proofs