stateless model checking for thread libraries, kernels, and transactional memory
☆10Dec 26, 2018Updated 7 years ago
Alternatives and similar repositories for landslide
Users that are interested in landslide are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Implementation of a generic 2-3 finger tree in Swift based on the Haskell implementation demonstrated in http://andrew.gibiansky.com/blog…☆12Jan 13, 2019Updated 7 years ago
- A Java-based, automated 2D pattern drafting tool.☆15Aug 25, 2022Updated 3 years ago
- Greenlet - Coroutines library for nim similar to python's greenlet.☆34Jan 1, 2020Updated 6 years ago
- Lace - implementation of work-stealing in C☆56Mar 17, 2026Updated last week
- A simple VM to play with OSR in LLVM☆15Jun 11, 2017Updated 8 years ago
- ☆18Jul 2, 2018Updated 7 years ago
- negamax AI algorithm for turn-based games☆13Oct 6, 2019Updated 6 years ago
- IO engine for Nim.☆10Jul 8, 2024Updated last year
- Analog circuit simulation library; wrapper for ngspice☆11Aug 31, 2020Updated 5 years ago
- ☆13May 6, 2023Updated 2 years ago
- A new GC for Nim. Supports shared memory, gives complete control over what is happening. Easily tweakable for your needs.☆27Sep 20, 2020Updated 5 years ago
- Compiler for the bJou programming language☆27Jul 22, 2020Updated 5 years ago
- Lazy K interpreter☆31Aug 21, 2024Updated last year
- nmi display animations aimed to correct users who accidentally enter nmi instead of nim. nmi is heavily inspired by sl .☆13Jul 29, 2020Updated 5 years ago
- OxiZ is a high-performance Satisfiability Modulo Theories (SMT) solver written entirely in Rust. This project is part of an initiative to…☆46Updated this week
- Security-Oriented Analysis of Application Programs☆13Dec 14, 2018Updated 7 years ago
- Continuation Passing C☆114Jun 5, 2019Updated 6 years ago
- Dynamic analysis of multithreaded C programs☆13Feb 7, 2020Updated 6 years ago
- Fast Bytecode Analysis☆15Jan 2, 2016Updated 10 years ago
- The Cubicle model checker☆14Jan 12, 2026Updated 2 months ago
- A high performance fork-join multi-threading library☆18Apr 25, 2017Updated 8 years ago
- An interactive playground for the Nim programming language☆14Jul 20, 2019Updated 6 years ago
- Backup your spotify data.☆12Feb 20, 2026Updated last month
- Reincarnate Artifact for ICFP 2018☆13Jun 24, 2024Updated last year
- Server and dashboard components☆12Jun 24, 2024Updated last year
- Request access to Optane powered bare metal infrastructure for performance-testing and analysis purposes☆14Jan 23, 2019Updated 7 years ago
- CDSChecker: A Model Checker for C11 and C++11 Atomics☆40Sep 4, 2013Updated 12 years ago
- Experimental finite field primitives (and maybe more)☆11Jul 24, 2020Updated 5 years ago
- An Experimental Book Creation Platform☆14Mar 8, 2015Updated 11 years ago
- Implementation of the DPD architecture and related experiments for the ACL 2024 paper "Semisupervised Neural Proto-Language Reconstructio…☆11Jul 22, 2024Updated last year
- Refinement type checking and inference tool for Rust☆19Mar 16, 2026Updated last week
- The telegram framework written in Nim☆11Jun 26, 2020Updated 5 years ago
- Nidhugg is a bug-finding tool which targets bugs caused by concurrency and relaxed memory consistency in concurrent programs. It is parti…☆92Dec 6, 2025Updated 3 months ago
- A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs☆14Feb 13, 2018Updated 8 years ago
- An extension for VS Code which provides support for the Nim language.☆13Sep 24, 2020Updated 5 years ago
- Topochecker, a topological model checker☆19Nov 19, 2019Updated 6 years ago
- ☆12Sep 6, 2020Updated 5 years ago
- Blackbox Fuzzing of Distributed Systems with Multi-Dimensional Inputs and Symmetry-Based Feedback Pruning☆13Mar 7, 2025Updated last year
- Wait-Free Eras (PPoPP '20)☆10Jan 11, 2020Updated 6 years ago