Lists (10)
Starred repositories
Fast, small, and fully autonomous AI assistant infrastructure — deploy anywhere, swap anything 🦀
A framework for collecting and analyzing prediction market data, including the largest publicly available dataset of Polymarket and Kalshi market and trade data.
A Python library for extracting structured information from unstructured text using LLMs with precise source grounding and interactive visualization.
FinRobot: An Open-Source AI Agent Platform for Financial Analysis using LLMs 🚀 🚀 🚀
"Building Distributed Systems with Stateright"
Implementation of MusicLM, a text to music model published by Google Research, with a few modifications.
An autonomous agent for deep financial research
"DeepTutor: AI-Powered Personalized Learning Assistant"
Auction Theory Toolbox – Computer Verified Auctions
A model checker for implementing distributed systems.
Verified kernels, written in Dafny and compiled to JavaScript, for correct-by-construction state in interactive web applications
Python implementation of TextRank algorithms ("textgraphs") for phrase extraction
A prompt engineering functional programming language
Synchronise event and tracking data using dynamic programming
MCP Toolbox for Databases is an open source MCP server for databases.
A configuration framework that enhances Claude Code with specialized commands, cognitive personas, and development methodologies.
This is a repo with links to everything you'd ever want to learn about data engineering
A high-performance algorithmic trading platform and event-driven backtester
Mustango: Toward Controllable Text-to-Music Generation
A Personal Software Runtime inspired by Emacs, Plan 9, Erlang, Hypermedia, and Unix
Fully Local Manus AI. No APIs, No $200 monthly bills. Enjoy an autonomous agent that thinks, browses the web, and code for the sole cost of electricity. 🔔 Official updates only via twitter @Martin9…