Lists (16)
Starred repositories
📦 Project moved to: https://codeberg.org/abiwab/gram
The official Python SDK for the Agentica agent framework
The official server application for running agents within the Agentica framework
The official TypeScript SDK for the Agentica agent framework
Forward Mode Automatic Differentiation for Julia
Edam is a text editor. It is a port of Research Unix `sam -d`. It is a GUI-less sam. It is UTF-8 aware.
A theory‑backed, ultra type‑safe algebraic effects
An experimental library for metaprogramming with algebraic effects and handlers
Simple async Rust profiler with memory and data-flow insights - quickly find and debug performance bottlenecks.
Lean theorem proving interface which feels like pen-and-paper proofs.
Port Kill helps you find and free ports and caches blocking your dev work.
A typescript transformer / plugin that allows you to write macros for typescript!
Multi-Joint dynamics with Contact. A general purpose physics simulator.
Resources to install NixOS bare metal on Apple Silicon Macs [maintainers=@tpwrules,@flokli,@yuyuyureka]
Buchberger and F4 algorithms for computing Gröbner basis for systems of multivariate polynomials
Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.
Lark is a parsing toolkit for Python, built with a focus on ergonomics, performance and modularity.
RPyC (Remote Python Call) - A transparent and symmetric RPC library for python
🔥 TypeScript implementation of the Cap'n Proto serialization.