xavierleroy/cdf-mech-sem xavierleroy/cdf-mech-sem

  • Stars
    star
    62
  • Rank 490,914 (Top 10 %)
  • Language Coq
  • License
    GNU Lesser Genera...
  • Created over 4 years ago
  • Updated 8 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
xavierleroy/cdf-mech-sem
github

xavierleroy

Reviews

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

Repository Details

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

More Repositories

1

cryptokit

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

camlzip

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

cdf-program-logics

Companion Coq development for Xavier Leroy's 2021 lectures on program logics
Coq
38
star
4

pringo

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

camlidl

Stub code generator for OCaml/C interface
OCaml
33
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