Pinned Repositories
arlencox.github.io
Webpage
batteries-included
Batteries Included project
index-sort
library to sort containers by index
lyne-solver
Solver for puzzles in the Lyne game
mlbdd
A not-quite-so-simple Binary Decision Diagrams implementation for OCaml
opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
QUICr
QUICr parametric abstract domain for sets
SETr
Abstract domain library for sets
sqlc
A super quick lambda calculus implementation
types-resources
arlencox's Repositories
arlencox/mlbdd
A not-quite-so-simple Binary Decision Diagrams implementation for OCaml
arlencox/QUICr
QUICr parametric abstract domain for sets
arlencox/SETr
Abstract domain library for sets
arlencox/index-sort
library to sort containers by index
arlencox/lyne-solver
Solver for puzzles in the Lyne game
arlencox/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
arlencox/sqlc
A super quick lambda calculus implementation
arlencox/types-resources
arlencox/arlencox.github.io
Webpage
arlencox/batteries-included
Batteries Included project
arlencox/esprima
ECMAScript parsing infrastructure for multipurpose analysis
arlencox/helix
A post-modern modal text editor.
arlencox/lib-findlib
Mirror of camlcity.org repo
arlencox/microsat
microsat
arlencox/pyml
OCaml bindings for Python
arlencox/set_mapping_paper
arlencox/stdcompat
Stdcompat: compatibility module for OCaml standard library
arlencox/symbolic-sets-paper
Paper on symbolic set abstraction
arlencox/talk-optimizing-set-abstract-domains
arlencox/vim-config