#
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
Nov 12, 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."