Stars
A HTTP credential proxy and vault for AI agents like Claude Code, OpenClaw, Hermes, custom agents + harnesses, and more.
Dive into CPython internals, trying to illustrate every detail of CPython implementation
The official server application for running agents within the Agentica framework from Symbolica
The official TypeScript SDK for the Agentica agent framework from Symbolica
The official Python SDK for the Agentica agent framework from Symbolica
Implementation of the Triangle Multiplicative module, used in Alphafold2 as an efficient way to mix rows or columns of a 2d feature map, as a standalone package for Pytorch
A fast serialization and validation library, with builtin support for JSON, MessagePack, YAML, and TOML
wasmCloud is an open source Cloud Native Computing Foundation (CNCF) project that enables teams to build, manage, and scale polyglot apps across any cloud, K8s, or edge.
A native, user-mode, multi-process, graphical debugger.
A Python module for decorators, wrappers and monkey patching.
Core validation logic for pydantic written in rust
An extremely fast Python linter and code formatter, written in Rust.
An extremely fast Python type checker and language server, written in Rust.
Code for 'The Geometry of Categorical and Hierarchical Concepts in Large Language Models' (ICLR 2025, Oral)
A guidance language for controlling large language models.
StructRAG: Boosting Knowledge Intensive Reasoning of LLMs via Inference-time Hybrid Information Structurization
Reasoning Computers. Lambda Calculus, Fully Differentiable. Also Neural Stacks, Queues, Arrays, Lists, Trees, and Latches.
A project to map out the relations between different equational theories of Magmas.
Visualize computational graphs in the terminal.
Pixel graphics in terminal with unicode braille characters
Dependently Typed Metaprogramming Exercises
Code for the paper "Evaluating Large Language Models Trained on Code"
A massively parallel, optimal functional runtime in Rust
A file-based mirror of the nLab wiki (HTML format).
Minimal implementations for dependent type checking and elaboration