☆23Feb 2, 2026Updated 8 months ago
Alternatives and similar repositories for atmosphere
Users that are interested in atmosphere are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- KVerus: Scalable and Resilient Formal Verification for Rust Code☆27Oct 11, 2026Updated last week
- An Opinionated Formatter for Verus☆22Oct 1, 2026Updated 2 weeks ago
- ☆38Updated this week
- An SMT solver for program verification☆20Updated this week
- Coinductive Interaction Trees in Lean4 using QPFs☆20Updated this week
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Course website for Systems Verification Fall 2024☆14Jul 10, 2025Updated last year
- ☆25Aug 10, 2026Updated 2 months ago
- ☆13May 26, 2026Updated 4 months ago
- Vermilion: Verus meets Lean☆58Updated this week
- Lean 4 + the Sail-generated RISC-V ISA model prove, CompCert-style, that an inductive WHILE semantics abstracts a real interpreter binary…☆48Oct 5, 2026Updated last week
- Slides and sources for talks on Tree Borrows☆17Dec 5, 2025Updated 10 months ago
- The Stream and Genlex libraries for use with Camlp4 and Camlp5☆16Oct 14, 2025Updated last year
- Formal Verification for JavaScript Regular Expressions☆15Updated this week
- This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…☆71Mar 26, 2026Updated 6 months 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.
- ☆19Oct 7, 2026Updated last week
- Embeddable ED in rust☆22Jan 17, 2026Updated 9 months ago
- An intermediate verification language☆30Jan 4, 2026Updated 9 months ago
- The Pulse separation logic DSL for F*☆36Sep 21, 2026Updated 3 weeks ago
- ☆19Updated this week
- An Emacs major mode to edit and run SMTLIB v2 files☆10Nov 14, 2015Updated 10 years ago
- Ansi escape codes for Rust☆13Jun 23, 2024Updated 2 years ago
- GitHub Action using Docker-Coq [maintainers=@Justme0606,@Zimmi48]☆15Apr 30, 2026Updated 5 months ago
- ☆24Oct 6, 2026Updated last 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.
- Scylla, a tool for translating ultra-regular C code to Safe Rust☆46Apr 7, 2026Updated 6 months ago
- Parallel ML benchmark suite☆23Dec 8, 2025Updated 10 months ago
- A memory allocator verified with Verus☆38Oct 9, 2026Updated last week
- Artifact for the OSDI'2025 paper☆18Sep 9, 2026Updated last month
- Ongoing formal verification for Asterinas OSTD☆56Updated this week
- Plugin for rustc to dump MIR in JSON format☆16Updated this week
- A Brainfuck interpreter written in Rust and compiled to WebAssembly☆10Dec 4, 2017Updated 8 years ago
- Artifact repository for the "Practical Verification of System-Software Components Written in Standard C" paper (SOSP'24)☆24May 7, 2025Updated last year
- Rust traits for key comparison in maps.☆43Updated 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.
- ☆30May 8, 2025Updated last year
- ☆15May 28, 2025Updated last year
- Some Cryptids and Lean proofs☆47Updated this week
- ☆18Mar 30, 2026Updated 6 months ago
- ☆13Apr 28, 2025Updated last year
- Set up a specific version of the Z3 theorem prover☆14Updated this week
- ☆22Aug 31, 2026Updated last month