strub
Follow
-
cryptokit Public
Forked from xavierleroy/cryptokitA library of cryptographic primitives (ciphers, hashes, etc) for OCaml
C Other UpdatedDec 13, 2024 -
-
-
capstone Public
Forked from XVilka/capstoneCapstone disassembly/disassembler framework: Core (Arm, Arm64, M68K, Mips, PPC, Sparc, SystemZ, X86, X86_64, XCore) + bindings (Python, Java, Ocaml, PowerShell)
POV-Ray SDL Other UpdatedMay 7, 2024 -
-
-
-
coq-plugin-template Public
Forked from coq-community/coq-plugin-templateTemplate of Coq Plugin using the Dune build system, and showcasing some advanced features
OCaml Other UpdatedJun 15, 2022 -
-
Internship-Web-App Public
Forked from Nelly-Barret/Internship-Web-AppCreation of a website for internship management of Ecole polytechnique. This project is done under the supervision of INF553's teachers.
Java UpdatedDec 22, 2021 -
elliptic-curves-ssr Public
A Formal Library about Elliptic Curves for the Mathematical Components Library.
-
-
-
spectral Public
Forked from CohenCyril/spectralSpectral Theorem formalized in Coq (Draft)
Coq Other UpdatedJul 27, 2018 -
-
-
-
-
-