SHA-256 in Bend with a machine-checked functional correctness proof against a separate FIPS 180-4 specification.
☆20Sep 20, 2026Updated last month
Alternatives and similar repositories for bend-sha256
Users that are interested in bend-sha256 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
- Composable Bend 2 frontend: checks full Bend and exports a typed Core.Program for backends.☆39Sep 30, 2026Updated last month
- A self-hosting compiler for Bend 2, written in Bend 2.☆30Oct 13, 2026Updated 3 weeks ago
- Ink: a small language with locally checked proofs and an extensible optimisation database☆21Updated this week
- Library for dealing with the Flowhub Runtime Registry☆14Feb 27, 2023Updated 3 years ago
- 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.
- ☆12Jan 5, 2023Updated 3 years ago
- ☆28Nov 3, 2026Updated last week
- Train a tiny transformer with verifiable arithmetic rewards and group-relative reinforcement learning on CPU.☆13Aug 23, 2026Updated 2 months ago
- Agree on a program. Run it together. Verify what happened. Wasm + p2p + state machines + verifiability☆15Oct 5, 2026Updated last month
- not infinite, but huge canvas collaborative vector drawing program☆13Oct 28, 2018Updated 8 years ago
- Oculus stereo view for voxeljs☆21Feb 3, 2013Updated 13 years ago
- Neural networks trained in Bend 2: typed forward/backward layers, laws checked by the kernel, agreement with PyTorch☆18Updated this week
- ☆14Updated this week
- Formal verification for interconnected software☆16Oct 27, 2026Updated 2 weeks ago
- 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.
- High-performance, distributed build, verification, and counterexample tooling for Lean 4☆56Updated this week
- Terminal braille rendering library for images, animation, and expressive CLI graphics.☆12Updated this week
- A base protocol providing streams of messages☆15Aug 22, 2025Updated last year
- wumbo-data-pipelines☆15Jan 27, 2022Updated 4 years ago
- Signet Orders examples in solidity☆13May 28, 2026Updated 5 months ago
- Latent Large Language Models☆19Aug 24, 2024Updated 2 years ago
- Benchmarks for the ReactJS framework☆13Nov 13, 2013Updated 12 years ago
- ☆16Oct 23, 2026Updated 2 weeks ago
- A security-first harness for coding agents, in your terminal. A fork of Charm's Crush.☆22Updated 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.
- ☆14Aug 4, 2026Updated 3 months ago
- ☆12Sep 17, 2025Updated last year
- Modern fork of reth-libmdbx. Faster. Safer. Simpler.☆15Jun 18, 2026Updated 4 months ago
- A Minimal, Composable REVM Adapter for Commonware QMDB. Built in Rust.☆14Jan 30, 2026Updated 9 months ago
- Unleash the full potential of exascale LLMs on consumer-class GPUs, proven by extensive benchmarks, with no long-term adjustments and min…☆27Nov 11, 2024Updated 2 years ago
- ☆13Aug 15, 2024Updated 2 years ago
- Match your resume with a job, effortlessly☆30Apr 23, 2025Updated last year
- Machine Learning in Bend 2: Dependent Types, Shapes at the Type Level, and Proven Laws☆22Updated this week
- The offical pY modpack with dependancies on all mods. Additionally contains optional dependancies on pY recommended mods. WARNING! This m…☆15Jul 7, 2026Updated 4 months ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- ☆11Dec 5, 2021Updated 4 years ago
- The frontend of an example implementation of the Seaport marketplace protocol for educational purpose.☆14Apr 16, 2024Updated 2 years ago
- ☆63Aug 25, 2026Updated 2 months ago
- A stream that emits deltas in change☆15Sep 4, 2012Updated 14 years ago
- Jasmine reporter that reports a result in TAP format☆10Apr 21, 2012Updated 14 years ago
- interactive code demo, documentation, and editor for github repositories☆15Apr 8, 2014Updated 12 years ago
- The core engine for the Chronlang language modeller & sound change applier☆18Aug 10, 2025Updated last year
Are these results useful?