Stars
Agent Graph Database — content-addressed object store for recording and debugging multi-agent AI workflows
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.
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