Grow your team on GitHub
GitHub is home to over 28 million developers working together. Join them to grow your own development teams, manage permissions, and collaborate on projects.Sign up
A collection of tools for generating, manipulating and - most of all - solving parity games.
Main public package repository for OPAM, the source package manager of OCaml.
A multi-purpose library for OCaml
A package for deciding universality and subsumption of omega automata using Ramsey-based methods.
A tool for solving the satisfiability and validity problems for modal fixpoint logics.
SAT Solvers For OCaml
A highly efficient OCaml set implementation for fat sets, i.e. densely populated sets over a discrete linear order.
A library that allows you to draw graphs using metapost and latex