Stars
An engine for displaying slips, the next-gen version of slides
A Vim plugin that provides GraphQL file detection, syntax highlighting, and indentation.
Pure OCaml regular expressions, with support for Perl and POSIX-style strings
hashing library that is generic on the hashing function, and a ppx deriving plugin for type-directer hashers
Programming language for literate programming law specification
OCaml CBOR generic decoder/encoder, RFC 7049, http://cbor.io/
A proof assistant for general type theories
An HTTP/2 implementation written in pure OCaml
Matching Regular Expressions with OCaml Patterns
Cooperative-threaded access to relational data
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
Pluggable serialization and deserialization of ocaml data strucures based on type_conv
ganeticon / ganeti
Forked from ganeti/ganetiGaneti is a virtual machine cluster management tool built on top of existing virtualization technologies such as Xen or KVM and other open source software.
Ganeti is a virtual machine cluster management tool built on top of existing virtualization technologies such as Xen or KVM and other open source software.