backtracking/ocaml-bdd backtracking/ocaml-bdd

  • Stars
    star
    14
  • Rank 1,437,730 (Top 29 %)
  • Language
    OCaml
  • License
    Other
  • Created almost 6 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
backtracking/ocaml-bdd
github

backtracking

Reviews

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

Repository Details

A simple BDD library for OCaml

More Repositories

1

ocamlgraph

OCaml graph library
OCaml
233
star
2

bibtex2html

OCaml
97
star
3

ocaml-hashcons

OCaml hash-consing library
OCaml
46
star
4

combine

OCaml library for combinatorics
OCaml
35
star
5

bitv

OCaml bit vector library
OCaml
33
star
6

functory

a distributed computing library for OCaml
OCaml
25
star
7

ptmap

Implementation of maps of integers with Patricia trees
OCaml
20
star
8

bheap

OCaml binary heap implementation by Jean-Christophe Filliatre
OCaml
18
star
9

vector

OCaml
16
star
10

program-proofs-with-why3

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

creal

An exact real arithmetic (aka constructive reals) for OCaml
OCaml
13
star
12

hashset

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

ocaml-bazaar

OCaml
10
star
14

flex-array

OCaml implementation of flexible arrays
OCaml
10
star
15

bag

Bag library for OCaml
OCaml
10
star
16

mlpost

OCaml
9
star
17

ptset

Integer set implementation using Patricia trees
OCaml
9
star
18

astro

calculs astronomiques (in French)
OCaml
8
star
19

grid

OCaml
6
star
20

cfrac

OCaml
5
star
21

hashlife

OCaml
3
star
22

backtracking.github.io

Ruby
2
star
23

aoc

OCaml
2
star
24

ocamlwc

OCaml
1
star
25

latexpp

OCaml
1
star
26

yamlpp

yet another markup language preprocessor
OCaml
1
star