Lists (1)
Starred repositories
SpaceXAI's coding agent harness and TUI. Fullscreen, mouse interactive, extensible.
A lightweight framework for training, fine-tuning, and deploying Diffusion Language Models.
Shannon is an autonomous, white-box AI pentester for web applications and APIs. It analyzes your source code, identifies attack vectors, and executes real exploits to prove vulnerabilities before t…
Layout Generation and Baseline implementations
Context7 Platform -- Up-to-date code documentation for LLMs and AI code editors
Platform for stateful agents: AI with advanced memory that can learn and self-improve over time.
Local persistent memory store for LLM applications including claude desktop, github copilot, codex, antigravity, etc.
A tool for creating and running Linux containers using lightweight virtual machines on a Mac. It is written in Swift, and optimized for Apple silicon.
A simple, fast, and secure operating system for the cloud.
✨✨Latest Advances on Neuro-Symbolic Learning in the era of Large Language Models
Microsoft BASIC for 6502 Microprocessor - Version 1.1
A Redis monitoring tool that provides namespace-level insights into your Redis database
[NeurIPS 2025] TTRL: Test-Time Reinforcement Learning
The official firmware for Meshtastic, an open-source, off-grid mesh communication system.
Lean 4 programming language and theorem prover
Code, Build and Evaluate agents - excellent Model and Skills/MCP/ACP/A2A Support
This repository contains everything you need to become proficient in ML/AI Research and Research Papers
verl/HybridFlow: A Flexible and Efficient RL Post-Training Framework
Implementing DeepSeek R1's GRPO algorithm from scratch
MCP server for Atlassian tools (Confluence, Jira)
FlashInfer: Kernel Library for LLM Serving