Verifying concurrent code with layers and movers
☆13Feb 18, 2020Updated 6 years ago
Alternatives and similar repositories for cspec
Users that are interested in cspec are comparing it to the libraries listed below
Sorting:
- Artifact for OSDI '23 Paper "Spoq: Scaling Machine-Checkable Systems Verification in Coq".☆17Aug 8, 2024Updated last year
- A B-Tree implementation in OCaml☆24Oct 24, 2016Updated 9 years ago
- Distributed Systems Reading Group☆20Nov 28, 2017Updated 8 years ago
- DAG-based blockchain☆10Apr 20, 2019Updated 6 years ago
- Eyrie enclave runtime kernel☆37Aug 2, 2023Updated 2 years ago
- Kernel module that makes it possible to create virtual wifi devices each with a virtualized stack.☆11Dec 13, 2011Updated 14 years ago
- This is a hanabi AI bot that can play on http://keldon.net/hanabi/☆11May 29, 2017Updated 8 years ago
- UCLID5: formal modeling, verification, and synthesis of computational systems☆153Updated this week
- ☆33Apr 15, 2022Updated 3 years ago
- ☆13Jan 17, 2022Updated 4 years ago
- Embed the Power of Lua into NGINX HTTP servers☆11Dec 1, 2015Updated 10 years ago
- Yet another plugin tutorial, this time as an exercise for 598☆38Jun 29, 2023Updated 2 years ago
- A simple C wrapper library, for generating PostScript files.☆11Oct 24, 2020Updated 5 years ago
- A Versa Board implementation using the AutoFPGA/ZipCPU infrastructure☆17Nov 19, 2019Updated 6 years ago
- design, run and test desired situations using human, AI, bot or computer control☆11Oct 9, 2018Updated 7 years ago
- Show Window Stations, Desktops and top level windows☆17Jun 10, 2023Updated 2 years ago
- Artifact of the ICSE 2020 paper: "ReluDiff: Differential Verification of Deep Neural Networks"☆11Feb 1, 2022Updated 4 years ago
- Lab assignments for 6.826☆11Nov 8, 2019Updated 6 years ago
- GUI for SymbiYosys☆17Oct 13, 2025Updated 4 months ago
- Exercises for the Dafny Tutorial☆14May 21, 2018Updated 7 years ago
- ☆13Feb 13, 2026Updated 2 weeks ago
- Minimal ZX Spectrum for Ulx3s ECP5 board☆12May 7, 2020Updated 5 years ago
- ☆10Mar 10, 2021Updated 4 years ago
- internship☆10Sep 1, 2017Updated 8 years ago
- The labs of ARC university courses☆12Aug 29, 2023Updated 2 years ago
- biRISC-V - 32-bit dual issue RISC-V CPU Software Environment☆15Jun 24, 2021Updated 4 years ago
- Ray Framework (https://github.com/ray-project/ray) on Kubernetes☆13Oct 12, 2018Updated 7 years ago
- Unreal Engine simulator for our self driving car training☆11Nov 18, 2021Updated 4 years ago
- Fast Setup for Proof by Reflection, in Two Lines of Ltac.☆14Jan 12, 2021Updated 5 years ago
- Fast poor man's profiler for Linux☆12Jun 8, 2023Updated 2 years ago
- RISC-V RV32I CPU written in verilog☆10Jul 11, 2020Updated 5 years ago
- BOSSA is the programming software used to program SAM-based Arduino boards like Flutter. We added our chip.☆12Mar 17, 2015Updated 10 years ago
- Tiny C library for inter-thread/process communication via channels. Linux-only.☆12Feb 21, 2016Updated 10 years ago
- BabbleSim base/common components. Any BabbleSim user will want some of these.☆17Feb 23, 2026Updated last week
- PID control library for Particle, adapted from br3ttb/Arduino-PID-Library☆11Feb 15, 2024Updated 2 years ago
- Native Linux KVM tool☆12Feb 4, 2026Updated 3 weeks ago
- Slides about the Rust in the blockchain industry☆10Dec 7, 2022Updated 3 years ago
- News in Privacy-Preserving Machine Learning☆12Feb 5, 2020Updated 6 years ago
- ☆17Jan 6, 2024Updated 2 years ago