TLA+ models of Linux kernel protocols
☆42Nov 1, 2026Updated last week
Alternatives and similar repositories for linux-formal
Users that are interested in linux-formal are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Model Checking for Industrial Programmers with TLA+☆19May 22, 2026Updated 5 months ago
- Interactive TUI for exploring Quint/Apalache ITF traces☆13Jan 30, 2026Updated 9 months ago
- Based on lectures on the LLM-Verifier Interface at the Summer School on Foundations of Programming and Software Systems (FoPSS 2026)☆17Jul 14, 2026Updated 3 months ago
- ☆25Nov 5, 2025Updated last year
- Code for ASPLOS 2026 paper: "Detecting Inconsistencies in ARM CCA’s Formally Verified Specification"☆13Jan 13, 2026Updated 9 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.
- ☆17Sep 17, 2026Updated last month
- A tool to visualize distributed system logs☆91Dec 1, 2021Updated 4 years ago
- Artifact for the OSDI'2025 paper☆18Sep 9, 2026Updated last month
- Tutorial on modeling with TLA+☆24Sep 15, 2026Updated last month
- High level model for MongoDB consistency☆15Oct 16, 2025Updated last year
- Formal verification agent for design or implementation☆17Nov 18, 2025Updated 11 months ago
- TLAi+ Benchmarks☆37Feb 6, 2026Updated 9 months ago
- Kernel-level execution records for GitHub Actions☆17Updated this week
- Build packages, go/Rust projects, and OS images with Buck2☆63Updated 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.
- An external lean checker with a proof of consistency☆148Updated this week
- Like `git status` for your branches!☆12Jul 29, 2022Updated 4 years ago
- Attachment Converter: tool for batch converting attachments in an email mailbox☆12Sep 25, 2026Updated last month
- REAPI server that turns remote build actions into Nix derivations☆15Sep 27, 2026Updated last month
- An example on how to build & distribute images for Raspberry Pi with mkosi☆14Updated this week
- A CAPI implementation for OpenNebula (capone)☆12Oct 22, 2026Updated 2 weeks ago
- AProver: Agentic Prover for AI-Generated Code — LLM agents + BMC for automated verification of systems software☆22Updated this week
- Reactive streams in Go☆12Aug 15, 2022Updated 4 years ago
- Sistema básico em python para automatizar consulta de óbito através de CPF e data de nascimento no site da Receita Federal☆26Jul 12, 2026Updated 3 months ago
- 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.
- Send commands from Vim to Tmux☆14Jun 11, 2015Updated 11 years ago
- Scalable Distributed System Model Checking with Specification-Level State Exploration☆28Apr 24, 2024Updated 2 years ago
- ProB 2.0☆11Jul 19, 2019Updated 7 years ago
- Pause Gnome Night Light for 10 seconds☆10Apr 30, 2021Updated 5 years ago
- Support for compiling C programs with Eyra☆15Oct 13, 2024Updated 2 years ago
- High Assurance Cryptography☆20Updated this week
- RF PeakEnvelopePower Meter PEP for AD8317, AD8318 or similar☆11Jul 27, 2021Updated 5 years ago
- A step-by-step KVM hypervisor for learning virtualization internals.☆40Sep 26, 2026Updated last month
- ixgbe driver for Redox based on ixy.rs☆11Jul 30, 2019Updated 7 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.
- ☆12Aug 2, 2021Updated 5 years ago
- Compositional Verification of Security Protocols☆38Updated this week
- A Lean library for descriptive complexity: NP-completeness and the polynomial hierarchy by first-order reductions, stronger than polynomi…☆15Updated this week
- C-to-Rust translation using LLMs☆15Updated this week
- A fixed-point-oriented programming language for Haskell☆25Oct 14, 2026Updated 3 weeks ago
- A Rational Defense of Reasonable Reflection (LICS'26 Keynote)☆10Jul 21, 2026Updated 3 months ago
- A compiler framework for eBPF programs☆23Oct 1, 2026Updated last month