Explore projects
-
Updated
-
-
-
The Rocq Prover / The Rocq Prover
GNU Lesser General Public License v2.1 onlyMirror for CI/CD purposes only.
Updated -
-
A library providing data structures dynamically allocated on a storage media. Structures are cached using a generic software scratch pad.
Updated -
-
-
Updated
-
BLANCHET Bruno / CryptoVerif
CeCILL-B Free Software License AgreementUpdated -
SPAENLEHAUER Pierre-Jean / rrspace
GNU Lesser General Public License v2.1 onlyThe rrspace software computes bases of Riemann-Roch spaces for curves defined over Z/pZ. It also provides functions to compute the group law on the Jacobian of such curves.
Updated -
Updated
-
Sanskrit linguistic resources under the Sanskrit Heritage Platform format
Updated -
-
l1p5 / l1p5-vuejs
GNU Affero General Public License v3.0Updated -
RobotLearn / rl-audio-nav
GNU General Public License v3.0 or laterUpdated -
Updated
-
nixos-compose / nixos-compose
MIT LicenseUpdated