☆15Oct 1, 2024Updated last year
Alternatives and similar repositories for bunkbed-counterexample
Users that are interested in bunkbed-counterexample are comparing it to the libraries listed below
Sorting:
- Open source library to handle integers of any size in C☆14Apr 11, 2023Updated 2 years ago
- Open-lmake is a generic, fearless build system. It is like make, except that it is user-friendly, versatile, scalable and reliable.☆45Feb 24, 2026Updated last week
- Documentation, U-Boot and OpenWRT ports for a low-cost MT02 repeater.☆14Oct 27, 2025Updated 4 months ago
- FeynGrav is a Wolfram Mathematica package that implements Feynman rules for gravity within FeynCalc framewok.☆12Updated this week
- KitsuneC2 is a cross-platform adversary emulation tool written in Go.☆12Oct 25, 2024Updated last year
- Metamath verifier in Python☆42Jun 7, 2025Updated 8 months ago
- Multimodal SuperCon: Classifier for Drivers of Deforestation in Indonesia☆10Nov 18, 2023Updated 2 years ago
- Scanning tool for BSM models☆11Jun 18, 2019Updated 6 years ago
- A small Perl module to eliminate boilerplate overhead when using the Zabbix API☆11Jan 31, 2025Updated last year
- An algorithm for the rapid evaluation of Bessel functions based on precomputed expansions.☆11Apr 16, 2018Updated 7 years ago
- Official PyTorch code for UAI 2023 paper "Concurrent Misclassification and Out-of-Distribution Detection for Semantic Segmentation via En…☆12Nov 10, 2023Updated 2 years ago
- Symbian Utilities☆11Nov 7, 2016Updated 9 years ago
- An emulator for the Three Rivers Computer PERQ workstation☆12Jan 23, 2026Updated last month
- Pong game written in the boot sector☆38Jan 26, 2026Updated last month
- Additional media and software for use with PERQemu☆11Jul 8, 2025Updated 7 months ago
- LINE: Loop Integrals Numerical Evaluation☆11Jun 18, 2025Updated 8 months ago
- Lightweight cryptography☆14Nov 7, 2022Updated 3 years ago
- [2.3] UNOFFICIAL repo of FeynRules written by Christensen, Duhr, Fuks, et al.☆11Jul 10, 2025Updated 7 months ago
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆49Jan 23, 2026Updated last month
- Implementation of the Tonelli-Shanks algorithm for computing square roots modulo a prime number.☆12Oct 9, 2022Updated 3 years ago
- NiMUD: Shared Adventure Game brought to you by Locke; NiM5 is an advanced multi-user gaming server.☆11Sep 4, 2024Updated last year
- XCB-based terminal emulator☆10Aug 12, 2021Updated 4 years ago
- Feynrules and UFO models for SMEFT phenomenology☆16Oct 6, 2022Updated 3 years ago
- Earthquake Cycle Modeling Code☆10May 18, 2024Updated last year
- LatNet Builder: A General Software Tool For Constructing Highly Uniform Point Sets☆17Aug 22, 2025Updated 6 months ago
- MIRROR of https://codeberg.org/catseye/Vinegar : A semi-concatenative language where every operation can fail☆15Nov 3, 2023Updated 2 years ago
- 2022 EarthCube Annual Meeting☆11Jul 28, 2022Updated 3 years ago
- flatten 3d triangulated surfaces to 2d☆10Sep 3, 2017Updated 8 years ago
- Workshop Teaching Materials☆11Aug 9, 2021Updated 4 years ago
- Repository for Deterministic Particle Flow Control framework☆10Nov 13, 2022Updated 3 years ago
- SODECL is a library of ordinary differential equation (ODE) and stochastic differential equation (SDE) solvers in OpenCL.☆11Jul 4, 2020Updated 5 years ago
- FeynGKZ: a Mathematica package for solving Feynman integrals using GKZ hypergeometric systems☆13Mar 10, 2023Updated 2 years ago
- Baremetal softwares for TrivialMIPS platform☆11Aug 12, 2019Updated 6 years ago
- Filesystem browser written in RapidApp☆11Oct 26, 2020Updated 5 years ago
- PCB design for the initial prototype of OBC hardware, to interface with LaunchPad.☆10Sep 19, 2018Updated 7 years ago
- ☆12Jan 25, 2018Updated 8 years ago
- Port of P.C. Hansen's notable AIRtools Matlab suite of inversion / regularization tools☆13Mar 26, 2024Updated last year
- The FreeDOS mouse driver☆16May 7, 2016Updated 9 years ago
- Updated SLIP/PPP via the venerable Slirp☆15Apr 20, 2025Updated 10 months ago