Explore projects

A monitor on public software hosted on the Gitlab-Gricad forge. #alpha_version

Yalep is a micro language based on Lean for teaching mathematical high-school proofs

Repo de TD sur le numérique éducatif

Optimized hardware components for Xilinx 7-Series FPGAs

WS-Evalresp

URL : http://ws.resif.fr/resifws/evalresp/1/

Doc: https://wiki.osug.fr/!isterre-geodata/resif/systemes/services/webservices/resifws/evalresp

Rigorously documented Julia implementation MMFE / RCWA.

A CEGAR-based solver for maximum model counting