serapi

There are 7 repositories under serapi topic.

impermeable/waterproof
Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instructions.
Language:JavaScript42 2 46
EngineeringSoftware/mcoq
Mutation analysis tool for Coq verification projects
Language:Java29 8 41
kylejtobin/langchain_search_bot
A simple LangChain 🦜🔗 bot that uses OpenAI and Google Search to do question answering.
Language:Python24 2 18
EngineeringSoftware/roosterize
Tool for suggesting lemma names in Coq verification projects
Language:Python21 6 35
christivn/mapScraper
🤖🗺️ Headless browser scraper written in python to extract Places data from Google Maps.
Language:Python17 2 22
EngineeringSoftware/math-comp-corpus
Corpus of Coq code related to MathComp including several machine-readable representations
Language:Common Lisp10 5 01
Robbie-Han/MomWhyBot
AI-powered ‘10,000 Whys’ chatbot for kids using LangChain, GPT-4o-mini, Google SerpAPI, and Faiss vector database.
Language:Python1 1 0