-
Inria
- Paris
- https://www.irif.fr/~gallego/
- @ejgallego
- @CoqLang
Stars
Automatic theorem proving via natural language reasoning with LLMs
Python API for lightweight communication with the Rocq proof assistant
Implementation of Nougat Neural Optical Understanding for Academic Documents
Recode of book "Dessins géométriques et artistiques avec votre micro-ordinateur" (1985) with p5js
Class instances for Coq inductive types with little boilerplate
Programming language for literate programming law specification
Collection of tools to extract semantic information from (mathematical) research articles
A proof tree viewer that works with Coq through Proof General
Coq definitions and lemmas for verification of Casper
Formal proof of the Four Color Theorem [maintainer=@ybertot]
Synthesizer plug-in (previously released as Vember Audio Surge)
Workaround for Intel throttling issues in Linux.
Terminal-based CPU stress and monitoring utility
An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
[Xposed module] Enable background playback in YouTube
recensement des présentations réalisées dans le cadre du meetup CreativeCodeParis
Mathematical Components compliant Analysis Library
Main public package repository for opam, the source package manager of OCaml.