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 12 3

3. loustrini loustrini Public

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

   OCaml 1

4. mutaig mutaig Public

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

   Rust 1

5. the-crew-solver the-crew-solver Public

   A solver to determine wether your game of The Crew: Mission Deep Sea is feasible or not.

   Rust 1 1