Explore projects

Mirror for CI/CD purposes only.

This platform gives tools to manipulate Sanskrit data

Mirror for CI/CD only

GitLab mirror of https://github.com/math-comp/math-comp

Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.

Contains the code for the webinterface of botascopia

An LR(1) parser generator for OCaml.

A regular verification framework based on Tree Automata and Term Rewriting Systems.

Dépôt git pour le site web de Liber Abaci

Primary library for necro with standard tools (parse, type check, print, and transform Skeletal Semantics)

Coccinelle is a program matching and transformation engine which provides the language SmPL (Semantic Patch Language) for specifying desired matches and transformations in C code.

A generator of debugger for the Skel language for semantics description