Pinned Repositories
avr
Reads a state transition system and performs property checking
bitwuzla
Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name is derived from an Austrian dialect expression that can be translated as “someone who tinkers with bits”.
boolector
A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
coatcheck
COATCheck
cvc5
A fork of cvc5, an open-source automatic theorem prover for SMT problems, with algebraic reasoning over bit-vectors
hwmcc20benchmarks
Benchmarks used at the 2020 Hardware Model-Checking Competition (HWMCC'20)
kvs-legion
An implementation of a simple key-value store as Legion tasks
MinecraftClimateConnectionWorld
Minecraft world that helps connect the adverse effects of pollution to the real world
pono
Pono: A flexible and extensible SMT-based model checker
smt-switch
A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.
CyanoKobalamyne's Repositories
CyanoKobalamyne/avr
Reads a state transition system and performs property checking
CyanoKobalamyne/hwmcc20benchmarks
Benchmarks used at the 2020 Hardware Model-Checking Competition (HWMCC'20)
CyanoKobalamyne/kvs-legion
An implementation of a simple key-value store as Legion tasks
CyanoKobalamyne/MinecraftClimateConnectionWorld
Minecraft world that helps connect the adverse effects of pollution to the real world
CyanoKobalamyne/bitwuzla
Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name is derived from an Austrian dialect expression that can be translated as “someone who tinkers with bits”.
CyanoKobalamyne/boolector
A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
CyanoKobalamyne/coatcheck
COATCheck
CyanoKobalamyne/connectal
Connectal is a framework for software-driven hardware development.
CyanoKobalamyne/cvc5
A fork of cvc5, an open-source automatic theorem prover for SMT problems, with algebraic reasoning over bit-vectors
CyanoKobalamyne/CyanoKobalamyne.github.io
CyanoKobalamyne/DaVE
tools regarding on analog modeling, validation, and generation
CyanoKobalamyne/pono
Pono: A flexible and extensible SMT-based model checker
CyanoKobalamyne/smt-switch
A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.
CyanoKobalamyne/spacegem-python
A game to teach the basics of music theory to elementary and middle school students created for 11.127/CMS.590 at MIT
CyanoKobalamyne/DBx1000
CyanoKobalamyne/fixture
Library of templates for analog blocks and strategies to model them in a digital environment
CyanoKobalamyne/geogebra-classroom-activities
A GeoGebra interface for teachers and students similar to Desmos Classroom Activities
CyanoKobalamyne/legion-serial
Single-threaded implementation of Legion
CyanoKobalamyne/MinecraftClimateConnectionMod
Minecraft mod that helps connect the adverse effects of pollution to the real world
CyanoKobalamyne/msdsl-examples
CyanoKobalamyne/msgserver-legion
An implementation of a simple messaging server as Legion tasks
CyanoKobalamyne/pmhw
CyanoKobalamyne/pmsim
CyanoKobalamyne/python-hacks
Short Python scripts for various purposes
CyanoKobalamyne/SpaceGem
CyanoKobalamyne/spr
Stacked Pull Requests on GitHub
CyanoKobalamyne/Tapir-LLVM
Tapir extension to LLVM for optimizing Parallel Programs
CyanoKobalamyne/triplanner
TriPlanner: an advanced trip planner for running, biking, hiking
CyanoKobalamyne/typeshed
Collection of library stubs for Python, with static types