sabbatique's Stars
lights0123/LED3DMap
A tool to automatically create 3D mappings of lights from two videos
katef/libfsm
DFA regular expression library & friends
Opticos/GWSL-Source
The actual code for GWSL. And some prebuilt releases.
MiniZinc/specialization-examples
cvc5/cvc5
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
tyler-utah/PBDD
A simple Python Binary Decision Diagram (BDD) that outputs .dot files. It can also create minimal BDDs. Should be used mostly for educational purposes as it is not very efficient. Try it out online here: http://formal.cs.utah.edu:8080/pbl/BDD.php
tyler-utah/PBL
A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online here: http://formal.cs.utah.edu:8080/pbl/PBL.php
adrianchifor/Swiftnotes
Android note taking, simplified.
albertocasagrande/BinaryDecisionDiagrams
A Julia package for BDD and OBDD
msoeken/kitty
C++ truth table library
berkeley-abc/abc
ABC: System for Sequential Logic Synthesis and Formal Verification
msoeken/cudd
Mirror of ABC (see http://vlsi.colorado.edu/~fabio/)
nimble-code/Spin
Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.
tulip-control/dd
Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy
nasa/daidalus
open source release: LAR-19282-1 Detect and Avoid Alerting Logic for Unmanned Systems (DAIDALUS) with Dynamic Well-Clear Separation Volumes).
nasa/pvslib
NASA PVS Library of Formal Developments
SRI-CSL/PVS
The People's Verification System
cloudius-systems/osv
OSv, a new operating system for the cloud.
ccoffrin/stac
Steady-State AC Network Visualization in the Browser - Developed at DATA61/Faculty of IT, Monash University - as a part of the summer research project.
reactive-systems/MCHyper
A hardware model checker for hyperproperties
ltentrup/caqe
CAQE is a solver for quantified Boolean formulas
Prograda/Skybolt
Planetary rendering engine and aerospace simulation tools
mkirchner/linked-list-good-taste
Linus Torvalds' linked list argument for good taste, explained
spipm/Depix
Recovers passwords from pixelized screenshots
VirusTotal/yara
The pattern matching swiss knife
lobuhi/byp4xx
40X/HTTP bypasser in Go. Features: Verb tampering, headers, #bugbountytips, User-Agents, extensions, default credentials...
wimmers/munta
Fully verified model checker for realtime systems
ticktac-project/tchecker
TChecker is an open-source verification tool for timed automata
PhuLai/eua-dataset
Edge server, user dataset for Edge Computing research
lip6/ITSTools
A multi-formalism, multi-solution model-checker centered on the language GAL