xavierleroy/camlidl xavierleroy/camlidl

  • Stars
    star
    33
  • Rank 763,622 (Top 16 %)
  • Language
    OCaml
  • License
    Other
  • Created over 7 years ago
  • Updated 11 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
xavierleroy/camlidl
github

xavierleroy

Reviews

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

Repository Details

Stub code generator for OCaml/C interface

More Repositories

1

cryptokit

A library of cryptographic primitives (ciphers, hashes, etc) for OCaml
C
94
star
2

cdf-mech-sem

Coq development for the course "Mechanized semantics", Collège de France, 2019-2020
Coq
60
star
3

camlzip

Reading and writing zip and gzip files from OCaml
OCaml
39
star
4

cdf-program-logics

Companion Coq development for Xavier Leroy's 2021 lectures on program logics
Coq
36
star
5

pringo

A library of splittable pseudo-random number generators for OCaml
OCaml
34
star
6

coq2html

An HTML documentation generator for Coq source files
OCaml
26
star
7

ocamlagrep

String searching with errors, using the Wu-Manber algorithm
OCaml
24
star
8

ocamlmpi

OCaml/MPI interface
OCaml
23
star
9

cdf-sem-meca

Développement Coq pour le cours "Sémantiques mécanisées", Collège de France, 2019-2020
Coq
20
star
10

canonical-binary-tries

Coq development accompanying the paper "Efficient Extensional Binary Tries"
Coq
18
star
11

spamoracle

E-mail filter and classifier based on Bayesian learning
OCaml
14
star
12

camljava

Low-level OCaml/Java interface
C
14
star
13

ocamltopwin

Historical Win32 application for the OCaml toplevel
C
5
star
14

experimental

Experiments with Git and Github
1
star