cyanokobalamyne Goto Github PK

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

connectal

Connectal is a framework for software-driven hardware development.

cvc5

A fork of cvc5, an open-source automatic theorem prover for SMT problems, with algebraic reasoning over bit-vectors

cyanokobalamyne.github.io

dave

tools regarding on analog modeling, validation, and generation

dbx1000

fixture

Library of templates for analog blocks and strategies to model them in a digital environment

geogebra-classroom-activities

A GeoGebra interface for teachers and students similar to Desmos Classroom Activities

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

legion-serial

Single-threaded implementation of Legion

minecraftclimateconnectionmod

Minecraft mod that helps connect the adverse effects of pollution to the real world

minecraftclimateconnectionworld

Minecraft world that helps connect the adverse effects of pollution to the real world

msdsl-examples

msgserver-legion

An implementation of a simple messaging server as Legion tasks

pmhw

pmsim

pono

Pono: A flexible and extensible SMT-based model checker

python-hacks

Short Python scripts for various purposes

smt-switch

A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.

spacegem

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

spr

Stacked Pull Requests on GitHub

tapir-llvm

Tapir extension to LLVM for optimizing Parallel Programs

triplanner

TriPlanner: an advanced trip planner for running, biking, hiking

typeshed

Collection of library stubs for Python, with static types