Show HN: Talos – Open-source WASM interpreter for Lean(github.com)78 points by mfornet 4 months ago | 20 comments
Show HN: PyDoll – Async Python scraping engine with native CAPTCHA bypass(github.com)111 points by thalissonvs 1 year ago | 32 comments
RasaGPT: First headless LLM chatbot built on top of Rasa, Langchain and FastAPI(github.com)156 points by riter 3 years ago | 93 comments
Show HN: AdalFlow: The library to build and auto-optimize any LLM task pipeline(github.com)4 points by meame2010 2 years ago | 2 comments
Show HN: Web App with GUI for AutoML on Tabular Data(github.com)30 points by pplonski86 3 years ago | 3 comments
Show HN: Tegon: Open-source alternative to Jira, Linear(github.com)139 points by harshithmul 2 years ago | 106 comments