Bend 2: a fast language that blocks AI mistakes via proof. Coming soon.
☆19,869Sep 16, 2026Updated this week
Alternatives and similar repositories for bend
Users that are interested in bend are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- HVM1 (2022): a massively parallel, optimal functional runtime in Rust☆11,341Updated this week
- Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.☆90,417Updated this week
- A markup-based typesetting system that is powerful and easy to learn.☆56,080Updated this week
- ⭐️ A friendly language for building type-safe, scalable systems!☆21,926Updated this week
- The Modular Platform (includes MAX & Mojo)☆29,804Updated this week
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Burn is a next generation tensor library and Deep Learning Framework that doesn't compromise on flexibility, efficiency and portability.☆15,939Updated this week
- An extremely fast Python package and project manager, written in Rust.☆89,922Updated this week
- Moved to Codeberg☆43,306Nov 27, 2025Updated 9 months ago
- Temporary repository for Kind2's refactor based on HVM2☆279Sep 25, 2024Updated last year
- Fullstack app framework for web, desktop, and mobile.☆39,163Updated this week
- Extremely fast Query Engine for DataFrames, written in Rust☆39,756Updated this week
- Minimalist ML framework for Rust☆21,065Updated this week
- An extremely fast Python linter and code formatter, written in Rust.☆49,668Updated this week
- A Git-compatible VCS that is both simple and powerful☆31,629Updated this week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A post-modern modal text editor.☆46,255Updated this week
- A refreshingly simple data-driven game engine built in Rust☆48,253Updated this week
- Lightning-fast and Powerful Code Editor written in Rust☆38,856Updated this week
- egui: an easy-to-use immediate mode GUI in Rust that runs on both web and native☆30,597Updated this week
- Build smaller, faster, and more secure desktop and mobile applications with a web frontend.☆111,134Updated this week
- A cross-platform, safe, pure-Rust graphics API.☆18,089Updated this week
- A new type of shell☆40,521Updated this week
- A Python Interpreter written in Rust☆22,354Updated this week
- A scalable, distributed, collaborative, document-graph database, for the realtime web☆33,043Updated this week
- 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.
- Incredibly fast JavaScript runtime, bundler, test runner, and package manager – all in one☆95,978Updated this week
- Build fast web applications with Rust.☆21,292Updated this week
- Truly independent web browser☆66,234Updated this week
- 🤖 Just a command runner☆35,849Sep 1, 2026Updated 2 weeks ago
- A modern proof language☆3,765Jan 22, 2025Updated last year
- Development at the speed of light☆25,207Updated this week
- A cross-platform GUI library for Rust, inspired by Elm☆31,507Updated this week
- A SQL database in Rust: SQLite-compatible, now also speaking Postgres (experimental). The LLVM of databases.☆24,306Updated this week
- Empowering everyone to build reliable and efficient software.☆118,945Updated this week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A library for building fast, reliable and evolvable network services.☆27,437Updated this week
- You like pytorch? You like micrograd? You love tinygrad! ❤️☆33,612Updated this week
- build-once run-anywhere c library☆21,287Jul 20, 2026Updated last month
- The financial transactions database designed for mission critical safety and performance.☆17,034Aug 31, 2026Updated 2 weeks ago
- An incremental parsing system for programming tools☆26,981Updated this week
- Slint is an open-source declarative GUI toolkit to build native user interfaces for Rust, C++, JavaScript, or Python apps.☆23,866Updated this week
- A Rust crate for cooking up terminal user interfaces (TUIs) 👨🍳🐀 https://ratatui.rs☆22,634Updated this week