A Rocq model of a Linux process that runs a RISC-V binary
☆36Oct 26, 2026Updated this week
Alternatives and similar repositories for rocq-linux-process-semantics
Users that are interested in rocq-linux-process-semantics are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Theorem statements about OSS-Fuzz fuzz targets as compiled RISC-V binaries, and machine-checked Rocq proofs of them☆160Updated this week
- posts sur mes expériences avec Rust☆10Feb 2, 2023Updated 3 years ago
- OSS Verify: enrollment and build instructions for formally verifying open-source fuzz targets☆71Updated this week
- Skate 3 Custom Engine Layer: custom .skate worlds, rendering, physics, lighting, and Blender map tools.☆23Aug 28, 2026Updated last month
- A high performance development and dispatch library for high-performance machine learning kernels.☆38Aug 15, 2026Updated 2 months ago
- 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.
- 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
- Strictly compliant, memory-efficient Server-Sent Events (SSE) libraries for Rust.☆21Jul 31, 2026Updated 2 months ago
- A blog of Programming Languages Group @Purdue☆12Updated this week
- ☆25Jun 25, 2026Updated 4 months ago
- ☆32Oct 7, 2026Updated 2 weeks ago
- A tool to connect SMT-based frontends to Lean4.☆20Updated this week
- Type-Migrating C-to-Rust Automatic Translator☆17Aug 5, 2024Updated 2 years ago
- KVerus: Scalable and Resilient Formal Verification for Rust Code☆27Oct 11, 2026Updated 2 weeks ago
- TonyCrane's Python Lecture☆14Nov 4, 2022Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Model Checking for Industrial Programmers with TLA+☆19May 22, 2026Updated 5 months ago
- Terminal braille rendering library for images, animation, and expressive CLI graphics.☆12Oct 7, 2026Updated 2 weeks ago
- A hyperintensional theorem prover for rapidly prototyping modular semantic theories☆13Oct 15, 2026Updated last week
- Simple compiler backend for toying around with various optimizations with ease.☆40Updated this week
- Laws about stateful rules, proven in TypeScript: a small trusted kernel, an untrusted prover, a Lean twin, and GPU searches for counterex…☆20Updated this week
- Effect monads with specifications (DIjkstra Monads) in Lean 4☆12Feb 18, 2024Updated 2 years ago
- [ICML 2026] NanoQuant: Efficient Sub-1-Bit Quantization of Large Language Models☆24Jul 3, 2026Updated 3 months ago
- AProver: Agentic Prover for AI-Generated Code — LLM agents + BMC for automated verification of systems software☆20Updated this week
- SHA-256 in Bend with a machine-checked functional correctness proof against a separate FIPS 180-4 specification.☆20Sep 20, 2026Updated last month
- 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.
- Helix's mission: optimize harnesses for models, then automatically turn harness-generated rollouts into trainable agent data.☆55Aug 17, 2026Updated 2 months ago
- Conan website, including home and ConanCenter☆13Oct 15, 2026Updated last week
- ☆17Oct 9, 2026Updated 2 weeks ago
- A collection of fun logic puzzles solved in Prolog, demonstrating the power of logic programming for solving complex reasoning problems.☆21Jul 26, 2025Updated last year
- The Cubicle model checker☆14May 29, 2026Updated 4 months ago
- A central dashboard where teams share files and AI agents connect via skills to pull, push, and collaborate.☆21Feb 16, 2026Updated 8 months ago
- ☆15Mar 30, 2023Updated 3 years ago
- Geometric Problem Solving Integrating FormalGeo Symbolic System and Hypergraph Neural Network.☆16Sep 23, 2025Updated last year
- Formal Verification for JavaScript Regular Expressions☆15Updated this week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Nola: Later-Free Ghost State for Verifying Termination in Iris☆10Aug 2, 2025Updated last year
- Mostly Automated Proof Repair for Verified Libraries☆16Jun 1, 2023Updated 3 years ago
- Scylla, a tool for translating ultra-regular C code to Safe Rust☆47Apr 7, 2026Updated 6 months ago
- An easy-to-configure and extensible veRL extension for agent RL training with skill co-evolution.☆26Updated this week
- ☆43Jul 29, 2026Updated 2 months ago
- Implementation of an efficient thread-safe global Symbol Table, with garbage collection☆20Mar 2, 2025Updated last year
- A fact-checked knowledge base on Boris Cherny's 'loop' methodology for running Claude Code.☆39Sep 24, 2026Updated last month