cubicle-model-checker / cubicleView external linksLinks
The Cubicle model checker
☆14Jan 12, 2026Updated last month
Alternatives and similar repositories for cubicle
Users that are interested in cubicle are comparing it to the libraries listed below
Sorting:
- Provides a reference implementation of FeatherweightRust in Java.☆15Oct 28, 2021Updated 4 years ago
- miniKanren implementation of ' Declarative semantics for functional languages: compositional, extensional, and elementary' by Jeremy Siek…☆15Mar 16, 2018Updated 7 years ago
- A toolkit for building multi-result supercompilers☆32Oct 23, 2021Updated 4 years ago
- A simple BDD library for OCaml☆13May 20, 2025Updated 8 months ago
- miniKanren for search, SMT for solving☆13Oct 20, 2019Updated 6 years ago
- miniKanren with a first-order representation of the search space☆17Jul 23, 2024Updated last year
- Formalization of the Truly Stateless Concurrency Model Checker in Coq☆13Nov 16, 2021Updated 4 years ago
- A monadic library for symbolic evaluation☆73Jul 16, 2025Updated 6 months ago
- Cross platform Instant Outbidding Bot, Instant Outbidder Bot is designed to outbid all real-time bids within a second by percentage incre…☆100Jan 17, 2023Updated 3 years ago
- yet another model checker☆20Oct 8, 2025Updated 4 months ago
- Memory consistency model checking and test generation library.☆16Oct 14, 2016Updated 9 years ago
- Byzantine model checker☆21Mar 7, 2023Updated 2 years ago
- A modular library for CDCL(T) SMT solvers, with [wip] proof generation.☆26Feb 8, 2026Updated last week
- SRI Sally: A model checker for infinite-state systems.☆76Jul 31, 2025Updated 6 months ago
- compiler libraries repackaged☆21Jan 4, 2024Updated 2 years ago
- Denotational semantics based on graph and filter models☆23Dec 16, 2024Updated last year
- Benchmark repository of polyglot effect handler examples☆34Aug 21, 2025Updated 5 months ago
- Prototype code that accompanies the paper "Compiling Successor ML Pattern Guards"☆25Jul 26, 2022Updated 3 years ago
- Accepted papers for ICFP 2014☆119May 19, 2016Updated 9 years ago
- FunQy - A high-level hybrid quantum programming language☆33Nov 9, 2020Updated 5 years ago
- (NOTE: REPOSITORY MOVED TO NEW OWNER: https://github.com/lexi-lambda/monad-validate) A Haskell monad transformer library for data validat…☆33Jun 22, 2022Updated 3 years ago
- CLP(SMT) on top of miniKanren☆39Feb 26, 2022Updated 3 years ago
- A charming general game player☆17Apr 20, 2010Updated 15 years ago
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Jan 1, 2024Updated 2 years ago
- Experimental model checker for testing concurrent algorithms☆40Dec 17, 2024Updated last year
- prototyping logic programming in Scala☆42Mar 25, 2022Updated 3 years ago
- The official engine source code for Project ORKA☆10Nov 25, 2024Updated last year
- A Terraria clone in Python, just for fun☆10Jun 7, 2020Updated 5 years ago
- A dynamically-typed CBPV language embedded in Racket☆40Mar 6, 2024Updated last year
- Run programs defined in nix expressions☆51Jan 31, 2017Updated 9 years ago
- The Eldarica model checker☆100Feb 3, 2026Updated last week
- A local tiddlywiki server☆12May 6, 2017Updated 8 years ago
- MipScope is a cross-platform IDE for students learning assembly on the MIPS architecture. The focus is on a convenient debugging environm…☆17May 11, 2024Updated last year
- CLI to organize image files into a folder hierarchy based on EXIF data☆11Dec 1, 2025Updated 2 months ago
- Random Generator of Btor2 Files☆10Sep 2, 2023Updated 2 years ago
- Two-Factor Authentication with ASP.NET Core and Authy☆11Sep 13, 2021Updated 4 years ago
- Various tools written or modified by me☆10Oct 26, 2025Updated 3 months ago
- Git O'Clock : A git toolbox for use in terminal.☆10Mar 5, 2023Updated 2 years ago
- VERified asSembler for cryptographic primitives☆12Jul 15, 2023Updated 2 years ago