Projects in Awesome Lists tagged with serapi
A curated list of projects in awesome lists tagged with serapi .
https://github.com/impermeable/waterproof
Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instructions.
Last synced: 25 Oct 2025
https://github.com/engineeringsoftware/mcoq
Mutation analysis tool for Coq verification projects
Last synced: 12 May 2025
https://github.com/engineeringsoftware/roosterize
Tool for suggesting lemma names in Coq verification projects
coq deep-learning machine-learning mathcomp name-generation neural-networks pytorch serapi
Last synced: 13 Sep 2025
https://github.com/EngineeringSoftware/roosterize
Tool for suggesting lemma names in Coq verification projects
coq deep-learning machine-learning mathcomp name-generation neural-networks pytorch serapi
Last synced: 22 Jul 2025
https://github.com/christivn/mapscraper
🤖🗺️ Headless browser scraper written in python to extract Places data from Google Maps.
google-map-api google-maps google-maps-api google-maps-scraper google-maps-scraping google-places google-scraper lead lead-generation prospecting prospects python python-scraper serapi
Last synced: 05 May 2025
https://github.com/engineeringsoftware/math-comp-corpus
Corpus of Coq code related to MathComp including several machine-readable representations
coq machine-learning-dataset mathcomp serapi
Last synced: 12 May 2025