GitHub topics: serapi
christivn/mapScraper
🤖🗺️ Headless browser scraper written in python to extract Places data from Google Maps.
Language: Python - Size: 84 KB - Last synced at: 28 days ago - Pushed at: 4 months ago - Stars: 11 - Forks: 2
EngineeringSoftware/roosterize
Tool for suggesting lemma names in Coq verification projects
Language: Python - Size: 270 KB - Last synced at: 27 days ago - Pushed at: over 2 years ago - Stars: 19 - Forks: 5
impermeable/waterproof
Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instructions.
Language: JavaScript - Size: 7.74 MB - Last synced at: 20 days ago - Pushed at: about 1 year ago - Stars: 41 - Forks: 6
EngineeringSoftware/mcoq
Mutation analysis tool for Coq verification projects
Language: Java - Size: 1.9 MB - Last synced at: 27 days ago - Pushed at: over 4 years ago - Stars: 30 - Forks: 1
EngineeringSoftware/math-comp-corpus
Corpus of Coq code related to MathComp including several machine-readable representations
Language: Common Lisp - Size: 117 MB - Last synced at: 27 days ago - Pushed at: over 2 years ago - Stars: 10 - Forks: 1
kylejtobin/langchain_search_bot
A simple LangChain 🦜🔗 bot that uses OpenAI and Google Search to do question answering.
Language: Python - Size: 19.5 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 17 - Forks: 6
