backtracking/bibtex2html

Stars
97
Rank 348,383 (Top 7 %)
Language
OCaml
License
Other
Created over 10 years ago
Updated 10 months ago

backtracking/bibtex2html

backtracking

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

ocamlgraph

OCaml graph library

ocaml-hashcons

OCaml hash-consing library

combine

OCaml library for combinatorics

bitv

OCaml bit vector library

functory

a distributed computing library for OCaml

ptmap

Implementation of maps of integers with Patricia trees

bheap

OCaml binary heap implementation by Jean-Christophe Filliatre

vector

program-proofs-with-why3

Some programs from Rustan Leino's "Program Proofs", in Why3.

ocaml-bdd

A simple BDD library for OCaml

creal

An exact real arithmetic (aka constructive reals) for OCaml

hashset

OCaml implementation of sets as hash tables by Jean-Christophe Filliatre

ocaml-bazaar

flex-array

OCaml implementation of flexible arrays

bag

Bag library for OCaml

mlpost

ptset

Integer set implementation using Patricia trees

astro

calculs astronomiques (in French)

grid

cfrac

hashlife

backtracking.github.io

aoc

ocamlwc

latexpp

yamlpp

yet another markup language preprocessor