Stars
Open-source implementation of AlphaEvolve
No fortress, purely open ground. OpenManus is Coming.
Calculation of lexicographically smallest isomorphic model.
ai-generated apps , full stack + generative UI
Open Source Alternative to NotebookLM / Perplexity / Glean, connected to external sources such as search engines (Tavily, Linkup), Slack, Linear, Notion, YouTube, GitHub, Discord and more.
The guide to online assessments and interviews
An free online poker HUD/tracker -> poker GTO solver automation tool
The AI Scientist: Towards Fully Automated Open-Ended Scientific Discovery 🧑🔬
This package provides an interface and foundation for verified SAT reasoning
List of papers studying machine learning through the lens of category theory
[Development suspended] An efficient open-source postflop solver library written in Rust
srirajpaul / hclib
Forked from habanero-rice/hclibA C/C++ task-based programming model for shared memory and distributed parallel computing.
Malleable Load Balancer. Massively Parallel Logic Backend. Award-winning SAT solving for the cloud.
Opiniated RAG for integrating GenAI in your apps 🧠 Focus on your product rather than the RAG. Easy integration in existing products with customisation! Any LLM: GPT4, Groq, Llama. Any Vectorstore: …
Implementation of Nougat Neural Optical Understanding for Academic Documents
Code and data for Vitruvion: A Generative Model of Parametric CAD Sketches (ICLR 2022)