Neural networks trained in Bend 2: typed forward/backward layers, laws checked by the kernel, agreement with PyTorch
☆18Oct 29, 2026Updated this week
Alternatives and similar repositories for BendTorch
Users that are interested in BendTorch are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆49Updated this week
- fast Eg-walker inspired collaborative text algorithm☆18Updated this week
- Tailscale resources for Alchemy: policy file, auth keys, device tags, DNS☆23Updated this week
- Composable Bend 2 frontend: checks full Bend and exports a typed Core.Program for backends.☆38Sep 30, 2026Updated 3 weeks ago
- 🔐 Egress credential injection for agents: agents hold placeholders, the cell fills real keys at the edge for approved hosts.☆28Updated this week
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- a lib☆11Oct 16, 2025Updated last year
- Packages, tools, and examples for current Bend 2.0.x. (bendlang/bend).☆24Updated this week
- experimental LeanOS formally verified OS☆17Oct 19, 2026Updated last week
- Correctness-first EVM interpreter in Bend targeting Amsterdam. Working interpreter; full conformance and proofs in progress.☆21Sep 18, 2026Updated last month
- Flow Map Speculative Decoding☆51Oct 20, 2026Updated last week
- Run a web page like a program☆189Updated this week
- The Atuin AI chat engine: host-agnostic domain logic, turn loop, LLM adapters, and streaming HTTP layer, in Gleam☆29Aug 12, 2026Updated 2 months ago
- Oculus stereo view for voxeljs☆21Feb 3, 2013Updated 13 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
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- trial at reviving the ancient library☆11Aug 13, 2026Updated 2 months ago
- bindings to gnuplot (fork of https://bitbucket.org/ogu/gnuplot-ocaml/)☆13May 6, 2024Updated 2 years ago
- Numerical Optimisation Library☆17Jul 9, 2023Updated 3 years ago
- a systemone proxy using embeddings that distills a teacher model☆166Updated this week
- Busy beaver machines with axiom-free Coq proofs: BB(7) σ > 3↑²⁰3, BB(8) > f_ω³(12), BB(9) > f_ω⁷(12), BB(10) f_(ω+1), BB(12) f_(ω+1)², BB…☆12Updated this week
- Lightning talk at FOSDEM 2019 in Bruxelles☆11Feb 2, 2019Updated 7 years ago
- 100% MFU or bust.☆11Jan 12, 2026Updated 9 months ago
- ☆27Apr 16, 2026Updated 6 months ago
- Proof assistant☆13Dec 18, 2025Updated 10 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 self-hosting compiler for Bend 2, written in Bend 2.☆30Oct 13, 2026Updated 2 weeks ago
- A privacy-hardened Unified Address light client for Zcash.☆14Dec 3, 2025Updated 10 months ago
- A prototype to write blog posts with executable ocaml code blocks☆10Apr 25, 2025Updated last year
- b4 : a tiny forth-like virtual machine☆41Updated this week
- Algorithms and datastructures for phylogenetics☆14Dec 24, 2025Updated 10 months ago
- ☆37Feb 18, 2026Updated 8 months ago
- Benchmarks for the ReactJS framework☆13Nov 13, 2013Updated 12 years ago
- Relay support for Zed☆10Apr 4, 2026Updated 6 months ago
- Fast vectorized bitarrays for OCaml☆16Jul 11, 2023Updated 3 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A rust port of con-leche☆34Updated this week
- Fastest concurrent ordered map☆601Updated this week
- A wrapper and an OCaml library to control 'perf' from the program being profiled.☆16Jul 3, 2025Updated last year
- Experimental library using modular implicits☆17Sep 25, 2023Updated 3 years ago
- Atreus-like keyboard case generator☆12Oct 15, 2021Updated 5 years ago
- ☆12Sep 17, 2025Updated last year
- Execute source code within buffer☆10Jul 4, 2023Updated 3 years ago