A self-hosting compiler for Bend 2, written in Bend 2.
☆30Oct 13, 2026Updated 3 weeks ago
Alternatives and similar repositories for bendc
Users that are interested in bendc are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Symbolic Regression implementation in Bend.☆12Sep 26, 2026Updated last month
- Bend's landing page☆18Sep 9, 2026Updated 2 months ago
- SHA-256 in Bend with a machine-checked functional correctness proof against a separate FIPS 180-4 specification.☆20Sep 20, 2026Updated last month
- ☆49Updated this week
- ☆20Updated this week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Verkle Tree stored on IPFS☆15Jan 13, 2023Updated 3 years ago
- A native, harness-neutral workspace for agent sessions, task graphs, diffs, and durable work — Pi first, Codex and Claude next.☆14Sep 29, 2026Updated last month
- ☆23Oct 18, 2026Updated 3 weeks ago
- Scalus Starter project☆11Nov 4, 2026Updated last week
- A terminal in your browser☆14Oct 22, 2026Updated 2 weeks ago
- Emacs as a command line tool☆21Nov 4, 2026Updated last week
- What if Kali Linux was a Nix flake?☆16Nov 25, 2025Updated 11 months ago
- Parsers for Prolog, Datomic, and various other Datalog varieties.☆13Aug 19, 2017Updated 9 years ago
- Llama-architecture models (SmolLM2 135M, 360M, 1.7B) in Bend 2, token for token against PyTorch, with the shapes in the types☆16Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Haskell implementation of the RNCryptor encrypted file format by Rob Napier☆12Updated this week
- ☆16Aug 2, 2026Updated 3 months ago
- Lightweight, heavily optimized coding tool implementations for LLM-powered development agents.☆12Nov 2, 2026Updated last week
- ☆11Jan 23, 2023Updated 3 years ago
- craco plugin to add purs-loader with create-react-app☆10Sep 29, 2022Updated 4 years ago
- Experimental C++11 backend for Idris☆16Nov 29, 2014Updated 11 years ago
- Spawn child processes in PureScript via the Node.js child_process API.☆14Oct 22, 2026Updated 2 weeks ago
- Build fully isomorphic apps and APIs in PureScript by providing value level spec and renderers.☆13Aug 6, 2022Updated 4 years ago
- Gallant is a customizable linter built to utilize Decision Models (i.e. Jev, Clef, and other system one models) to lint your code, docume…☆22Oct 30, 2026Updated last week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Simple and easy mapping, folding, traversing etc. over a homogeneous `Record` and `Variant`☆13Jun 19, 2022Updated 4 years ago
- De-obfuscated payload from the September 8 2025 npm supply chain attack☆13Sep 8, 2025Updated last year
- Verified OxCaml for real projects and real performance.☆18Sep 8, 2026Updated 2 months ago
- A local-first macOS workspace to inspect, debug, compare, and optimize GLB/glTF assets for Three.js.☆18Nov 4, 2026Updated last week
- Market maker for the Genius Yield DEX☆22Feb 24, 2025Updated last year
- This is my Undergraduate University Honours Project and dissertation.☆10Oct 31, 2026Updated last week
- ☆14Jul 14, 2026Updated 3 months ago
- Write Effect programs in TypeScript syntax, with typed errors and services the compiler checks.☆20Updated this week
- Golang linter checking the canonicality of the http header☆12Oct 19, 2026Updated 3 weeks ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆12Jan 30, 2022Updated 4 years ago
- Native macOS widget studio with a drag-and-drop Dock preview and live local widgets.☆38Sep 12, 2026Updated last month
- IronKernel is a dialect of the Kernel programming language for the .NET framework.☆18Oct 25, 2026Updated 2 weeks ago
- Pure Haskell client for the Mandrill JSON API☆18Mar 11, 2025Updated last year
- PureScript codebase visualization tool with treemaps, beeswarms, and dependency analysis☆15Oct 21, 2026Updated 3 weeks ago
- A minimal LISP-like abstraction☆10Apr 14, 2026Updated 6 months ago
- Fast, safe and lightweight archetype ECS for TypeScript☆86Sep 8, 2026Updated 2 months ago
Are these results useful?