Pinned Loading

1. CP-ABE CP-ABE Public

   Post-quantum cryptography based on lattices

   C 10 2

2. typst-polytechnique typst-polytechnique Public

   Typst packages for student reports and slides at École polytechnique.

   Typst 10 3

3. loustrini loustrini Public

   A Lustre model checker using the H-Houdini invariant learning algorithm.

   OCaml

4. mutaig mutaig Public

   A library for manipulating And-Inverter Graphs (AIGs), designed for equivalence checking.

   Rust 1

5. remigerme.xyz remigerme.xyz Public

   Docker, traefik, nginx static website, YOURLS, nextcloud instance with redis, mariadb and backups, collabora server, quartz blog instance

   Shell 1 1

6. lambda-cl lambda-cl Public

   Code for a research project on extensional equalities for combinatory logic (CL), and their equivalence to those of lambda calculus.

   Agda