GitHub topics: serapi
BigDataTeam5/MarketScope-AI-Powered-Industry-Segment-Intelligence-Platform
This is our final project , in this we have utlized langgraph coupled with various mcp server mounted of fastapi using fastmcp to create mutlifaceted application for healthcare vendor to make them understand more about their product performance and provide suggestions and strategies
Language: Python - Size: 1.78 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 1 - Forks: 2
christivn/mapScraper
🤖🗺️ Headless browser scraper written in python to extract Places data from Google Maps.
Language: Python - Size: 84 KB - Last synced at: about 2 months ago - Pushed at: 6 months ago - Stars: 12 - Forks: 3
EngineeringSoftware/mcoq
Mutation analysis tool for Coq verification projects
Language: Java - Size: 1.9 MB - Last synced at: about 1 month ago - Pushed at: over 4 years ago - Stars: 29 - Forks: 1
EngineeringSoftware/roosterize
Tool for suggesting lemma names in Coq verification projects
Language: Python - Size: 270 KB - Last synced at: 21 days ago - Pushed at: almost 3 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: 3 months ago - Pushed at: over 1 year ago - Stars: 41 - Forks: 6
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: about 1 month ago - Pushed at: almost 3 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: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 17 - Forks: 6
