Tiny ML, Rust types, and category theory, executable structure, not AI magic.
☆117May 20, 2026Updated 5 months ago
Alternatives and similar repositories for category_theory_transformer_rs
Users that are interested in category_theory_transformer_rs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- rust binding for lean4☆12Jul 1, 2023Updated 3 years ago
- Ink: a small language with locally checked proofs and an extensible optimisation database☆21Updated this week
- Some Lean proofs☆47Sep 15, 2026Updated last month
- Library for formalization of dynamical systems☆18Updated this week
- GitHub Action to automatically format Rust code and fix clippy lints.☆27Jul 1, 2026Updated 4 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- a categorical deep learning compiler☆38Jun 10, 2026Updated 5 months ago
- LLM inference in C/C++☆14May 7, 2026Updated 6 months ago
- Laws about stateful rules, proven in TypeScript: a small trusted kernel, an untrusted prover, a Lean twin, and GPU searches for counterex…☆29Updated this week
- A Rust crate offering similar functionality to the Python transformers package using Candle.☆15Nov 19, 2024Updated last year
- Skills to orchestrate coding agents for open-ended discovery☆29Jul 7, 2026Updated 4 months ago
- ☆16Sep 24, 2026Updated last month
- How to say it using Mathlib.☆21Oct 29, 2026Updated last week
- An iTransformer implementation in Rust☆22Jan 10, 2026Updated 10 months ago
- Mini GEPA implementation https://arxiv.org/pdf/2507.19457☆14Jun 16, 2026Updated 4 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- GPU based FFT written in Rust and CubeCL☆37Apr 24, 2026Updated 6 months ago
- A bootstrapped agent harness☆37Oct 13, 2026Updated 3 weeks ago
- Rust API scanner — spec, URL, fuzz, ghost mode, JS bundle analysis☆12Jul 22, 2026Updated 3 months ago
- NVIDIA's CUDA platform for Rust. Host runtime crates plus Tile (cutile-rs) and SIMT (cuda-oxide) kernel programming models in idiomatic R…☆4,024Updated this week
- a fork of html-to-markdown with speed enhancements☆12Sep 28, 2026Updated last month
- ☆12Sep 22, 2025Updated last year
- A simple scala-like dependent type programming language☆23Apr 18, 2025Updated last year
- Lean for JavaScript and WebAssembly runtimes☆105Updated this week
- ☆21May 5, 2026Updated 6 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Materials for the 2022-2023 edition of CS316 "Functional Programming"☆24Nov 22, 2022Updated 3 years ago
- SHA-256 in Bend with a machine-checked functional correctness proof against a separate FIPS 180-4 specification.☆20Sep 20, 2026Updated last month
- Minimalistic, experimental mamba, compiles to WASM☆19Feb 11, 2025Updated last year
- ☆15Dec 7, 2025Updated 11 months ago
- Lean 4 library and knowledge base for computational economics☆42Oct 14, 2026Updated 3 weeks ago
- Personal Cloud Storage and File Management Solution with Privacy and Security☆18Nov 12, 2024Updated last year
- Verified Rust for low-level systems code☆3,639Updated this week
- Python DSL that compiles element-wise expressions to parallel Rust. All CPU cores, zero serialization.☆44Mar 19, 2026Updated 7 months ago
- Native Rust backend for Better Auth clients☆26Oct 24, 2026Updated 2 weeks ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Solana Microscope☆52Updated this week
- ☆33Sep 9, 2026Updated 2 months ago
- Curl like MCP cli program☆20Nov 1, 2026Updated last week
- Send emails right from the terminal using Rust!☆10Mar 8, 2022Updated 4 years ago
- Keep 10% of a model, match it, and let it keep learning, without training its weights.☆16Updated this week
- Containerized bridges to interconnect services in matrix☆11Oct 20, 2026Updated 3 weeks ago
- Fastest concurrent ordered map☆655Updated this week
Are these results useful?