Pierre-Yves Strub's repositories
elliptic-curves-ssr
A Formal Library about Elliptic Curves for the Mathematical Components Library.
capstone
Capstone disassembly/disassembler framework: Core (Arm, Arm64, M68K, Mips, PPC, Sparc, SystemZ, X86, X86_64, XCore) + bindings (Python, Java, Ocaml, PowerShell)
Language:POV-Ray SDLNOASSERTION000
coq-plugin-template
Template of Coq Plugin using the Dune build system, and showcasing some advanced features
Language:OCamlNOASSERTION000
Language:eCNOASSERTION000
Language:eC000
Internship-Web-App
Creation of a website for internship management of Ecole polytechnique. This project is done under the supervision of INF553's teachers.
Language:Java000
math-comp
Mathematical Components
Language:Coq000
spectral
Spectral Theorem formalized in Coq (Draft)
Language:CoqNOASSERTION000