backtracking/bitv backtracking/bitv

  • Stars
    star
    33
  • Rank 783,877 (Top 16 %)
  • Language
    OCaml
  • License
    Other
  • Created almost 12 years ago
  • Updated 7 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
backtracking/bitv
github

backtracking

Reviews

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

Repository Details

OCaml bit vector library

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

functory

a distributed computing library for OCaml
OCaml
25
star
6

ptmap

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

bheap

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

vector

OCaml
16
star
9

program-proofs-with-why3

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

ocaml-bdd

A simple BDD library for OCaml
OCaml
14
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