xavierleroy/camlidl xavierleroy/camlidl

  • Stars
    star
    33
  • Rank 783,877 (Top 16 %)
  • Language
    OCaml
  • License
    Other
  • Created almost 8 years ago
  • Updated 5 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
97
star
2

cdf-mech-sem

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

camlzip

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

cdf-program-logics

Companion Coq development for Xavier Leroy's 2021 lectures on program logics
Coq
38
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
28
star
7

ocamlagrep

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

ocamlmpi

OCaml/MPI interface
OCaml
24
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
19
star
11

spamoracle

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

camljava

Low-level OCaml/Java interface
C
14
star
13

ocamltopwin

Historical Win32 application for the OCaml toplevel
C
5
star
14

arm64-barriers

Performance issues with ARM64 barriers
Assembly
3
star
15

experimental

Experiments with Git and Github
1
star