Starred repositories
BEDC: Binary Emission Discovery Calculus (mathlib-free Lean 4 + LaTeX paper)
Interactive 3D cell architecture gallery built with React and Three.js
Connect AI agents to any API, anywhere. Securely. Open-source gateway that proxies requests, injects credentials automatically, punches through NAT to reach localhost services, and wraps REST APIs …
Your all-in-one skills-as-a-service platform to manage your skills, auto-generate skills and use agent skills as simple as calling an API.
General plug-and-play inference library for Recursive Language Models (RLMs), supporting various sandboxes.
omo/lazycodex: The coding agent for tokenmaxxers;the one and only agent harness for complex codebases. For your Codex, for your OpenCode
Turn any AI agent into an AI Scientist. The #1 Agent Skills library for science, used by 170,000+ scientists worldwide. 161 ready-to-use validated skills plus 100+ scientific databases covering bio…
An autonomous agent for deep financial research
Build reliable customer-facing AI agents with Parlant: an interaction control harness optimized for controlled, consistent, and predictable LLM interactions.
Coq proofs about Hofstadter's function G
A comprehensive quantitative trading system with AI-powered analysis, real-time data processing, and advanced risk management
Introduction to PyTorch, covering tensor initialization, operations, indexing, and reshaping.
HexStrike AI MCP Agents is an advanced MCP server that lets AI agents (Claude, GPT, Copilot, etc.) autonomously run 150+ cybersecurity tools for automated pentesting, vulnerability discovery, bug b…
Awesome MCP Servers - A curated list of Model Context Protocol servers
Code for the paper "Jukebox: A Generative Model for Music"
[AAAI 2025] Official implementation of "OOTDiffusion: Outfitting Fusion based Latent Diffusion for Controllable Virtual Try-on"
🔥 An online poker game server powered by Redis, node.js and socket.io
Hue Entertainment Pro can control multiple entertainment areas from multiple bridges
I am trying to describe complex matters in simple doodles!
simple, fast and feature rich order matching engine supports limit, market, stop-loss, iceberg, IOC, FOK, GTD orders