Foundation is a repository of formal cryptographic specifications
☆45Aug 12, 2026Updated 2 months ago
Alternatives and similar repositories for Foundation
Users that are interested in Foundation are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A program logic for concurrent randomized programs☆17Nov 9, 2018Updated 7 years ago
- ☆52Sep 9, 2026Updated last month
- ☆12Jul 29, 2026Updated 2 months ago
- KVerus: Scalable and Resilient Formal Verification for Rust Code☆27Oct 11, 2026Updated last week
- Codebase for "Language Models that Play Chess and Explain their Moves"☆60Oct 5, 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.
- Antelope cryptography library for ECC, RSA and SHA-3☆10Mar 12, 2025Updated last year
- Official Coinremitter API for Nodejs☆10Jan 9, 2025Updated last year
- An SQLite like relational database built for education using real database architectural patterns.☆69Aug 31, 2026Updated last month
- Tactical LiDAR + 24GHz mmWave radar sensor fusion on ESP32-P4 — 360° room mapping, proximity detection and cyberpunk HUD display.☆120Sep 25, 2026Updated 3 weeks ago
- Effect monads with specifications (DIjkstra Monads) in Lean 4☆12Feb 18, 2024Updated 2 years ago
- A curated list of resources on energy-based models.☆11Mar 14, 2022Updated 4 years ago
- Formalisation of the linear lambda calculus in Coq☆10Dec 2, 2018Updated 7 years ago
- phlower is a deep learning framework based on PyTorch especially for physical phenomenon such as fluid dynamics.☆15Oct 5, 2026Updated last week
- A hyperintensional theorem prover for rapidly prototyping modular semantic theories☆12Updated this week
- 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.
- Lambda Jam 2014: Roll Your Own Relational DSL☆15Feb 3, 2017Updated 9 years ago
- ☆32Nov 2, 2025Updated 11 months ago
- Find rows in a PostgreSQL table that have corrupted TOAST records.☆12Dec 20, 2025Updated 9 months ago
- TLA+ models of Linux kernel protocols☆33Updated this week
- Main daemon that runs El Tor, connects to wallets, listens for payment events and calls rpc's☆10Oct 27, 2025Updated 11 months ago
- Safe Network DBCs☆15Jul 4, 2025Updated last year
- BOLT12.org Website☆12Dec 12, 2025Updated 10 months ago
- Fast Setup for Proof by Reflection, in Two Lines of Ltac.☆14Jan 12, 2021Updated 5 years ago
- ☆76Mar 10, 2026Updated 7 months 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.
- Full-network archive and streaming service for atproto.☆42Updated this week
- empatica-e4-client is a node.js module, which can communicate with Empatica BLE Server to fetch the sensor stream data from the EmpaticaE…☆11Jun 4, 2018Updated 8 years ago
- ☆110Aug 17, 2026Updated 2 months ago
- SymDiff-Differential-Program-Verifier☆40Aug 21, 2025Updated last year
- Harness/code for DrivingBench v1, which allows frontier LLMs to control cars via Comma/openpilot + MCP tools.☆59Sep 26, 2026Updated 3 weeks ago
- The Cubicle model checker☆14May 29, 2026Updated 4 months ago
- Dependently typed lambda calculus - A Simple Proof Assistant☆13Sep 3, 2020Updated 6 years ago
- Coq implementation of SF-calculus and the tranlsation to it of lift lambda-calculus☆11Mar 31, 2017Updated 9 years ago
- A Finite Difference Time Domain (FDTD) simulator written in Rust☆13Apr 17, 2024Updated 2 years ago
- 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 Coq tactic for proving multivariate inequalities using SDP solvers☆12Sep 23, 2026Updated 3 weeks ago
- A template for creating new SBTs inheriting from the Masa SBT smart contracts, using ZKP.☆11Nov 25, 2024Updated last year
- (now moved to Codeberg) An equational theorem prover based on Knuth-Bendix completion☆61Jul 14, 2026Updated 3 months ago
- ☆12Sep 24, 2026Updated 3 weeks ago
- Decentralized redeemable MATIC gift cards. Anyone can redeem the MATIC locked in these giftcards using the secret code.☆13Nov 6, 2022Updated 3 years ago
- Toy demo of lexing/parsing in Coq☆12Jul 3, 2019Updated 7 years ago
- Everyday Stocks Status with Jev☆40Sep 18, 2026Updated last month