lambdaxdotx

Pinned Repositories

dune
A composable build system for OCaml.
Language:OCaml0 1 00
lambdaxdotx.github.io
Language:HTML0 2 00
ldrgen
Liveness-driven random C code generator
Language:OCaml0 1 00
Marabou
Language:C++00
opam-repository
Main public package repository for opam, the source package manager of OCaml.
Language:Shell0 1 00
Qed
First-Order Logic library with built-in Theories
Language:OCaml0 2 00
rejson
ReJSON - a JSON data type for Redis
Language:C00
saver
SVM Abstrac Verifier tool
Language:C0 1 00
dune
A composable build system for OCaml.
Language:OCaml1.6k 38 2.9k395
opam-repository
Main public package repository for opam, the source package manager of OCaml.
509 31 1.3k1.1k

lambdaxdotx's Repositories

lambdaxdotx/dune
A composable build system for OCaml.
Language:OCaml0 1 00
lambdaxdotx/lambdaxdotx.github.io
Language:HTML0 2 00
lambdaxdotx/ldrgen
Liveness-driven random C code generator
Language:OCaml0 1 00
lambdaxdotx/Marabou
Language:C++00
lambdaxdotx/opam-repository
Main public package repository for opam, the source package manager of OCaml.
Language:Shell0 1 00
lambdaxdotx/Qed
First-Order Logic library with built-in Theories
Language:OCaml0 2 00
lambdaxdotx/rejson
ReJSON - a JSON data type for Redis
Language:C00
lambdaxdotx/saver
SVM Abstrac Verifier tool
Language:C0 1 00