Lists (1)
Stars
A graph-native memory system for AI agents and context graphs. Store conversations, build knowledge graphs, and let your agents learn from their own reasoning — all backed by Neo4j.
NVIDIA Alpamayo 1 Nano is an open 10B reasoning VLA model for autonomous vehicles that pairs driving trajectories with Chain-of-Causation reasoning.
IETF Internet-Draft about X.509 certificates with composite keys and signatures.
JStall is a small command-line tool for one-shot inspection of running JVMs using thread dumps and short, on-demand profiling.
Official specification and reference code for Fast Lightweight Online Encryption (FLOE)
Official SQIsign code, version under continuous development
BitTorrent library and client with DHT, magnet links, encryption and more
The formal proofs for iMessage PQ3 using the Tamarin Prover
A JSON-like data structure (a CRDT) that can be modified concurrently by different users, and merged again automatically.
Specification for a Fediverse Directory Server for Public Keys
gpt-oss-120b and gpt-oss-20b are two open-weight language models by OpenAI
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.
Effects and animation library for Ratatui applications
AWS-LC is a general-purpose cryptographic library maintained by the AWS Cryptography team for AWS and their customers. It іs based on code from the Google BoringSSL project and the OpenSSL project.
A fork of Apache Tomcat Native, based on finagle-native
[Chumsky has moved to Codeberg!] Write expressive, high-performance parsers with ease.