#
serapi
Here are 7 public repositories matching this topic...
Mutation analysis tool for Coq verification projects
-
Updated
Oct 13, 2020 - Java
A simple LangChain 🦜🔗 bot that uses OpenAI and Google Search to do question answering.
python nlp machine-learning ai chatbot openai learning-repo it-engineering serapi prompt-engineering langchain
-
Updated
Aug 26, 2023 - Python
Tool for suggesting lemma names in Coq verification projects
-
Updated
Sep 6, 2022 - Python
Corpus of Coq code related to MathComp including several machine-readable representations
-
Updated
Sep 6, 2022 - Common Lisp
🤖🗺️ Headless browser scraper written in python to extract Places data from Google Maps.
python google-maps lead google-places google-maps-api google-scraper prospects lead-generation python-scraper google-map-api prospecting serapi google-maps-scraping google-maps-scraper
-
Updated
Dec 19, 2024 - Python
Improve this page
Add a description, image, and links to the serapi topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the serapi topic, visit your repo's landing page and select "manage topics."