Beast code in Giters

enggerard's starred repositories

imslp-api

🎶 Access composer and work data directly from the IMSLP API. JSON is stored in an array of objects for convenience. Has only one dependency and is reasonably lightweight.

Language:JavaScript2700

rigorous

A framework for working with inference rules.

Language:Python1000

z3

The Z3 Theorem Prover

Language:C++NOASSERTION1000100

verisol

A formal verifier and analysis tool for Solidity Smart Contracts

Language:C#NOASSERTION24500

YUP

YUP is a proof checker that performs automatic checking of simple program-correctness proofs of functional programs through inductive and equational reasoning.

Language:OCaml3600

Describing Platooning in the language of MWB (Mobility Workbench), a tool for manipulating and analyzing mobile concurrent systems described in pi-calculus (tool written in standard SML and runs on SML/NJ compiler). Then describing it in Promela to model check using SPIN and Isabelle

Apache-2.0100

PsiCalculiWorkbench

The psi-calculi workbench tool for concurrent system modeling and verification.

Language:Standard MLBSD-3-Clause400

CAAL

CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes expressed in the well-known CCS language (Calculus of Communicating Systems).

Language:TypeScriptMIT4000

benchexec

BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

Language:PythonApache-2.022200

opencpu

OpenCPU system for embedded scientific computation and reproducible research

Language:RNOASSERTION71500

poco

The POCO C++ Libraries are powerful cross-platform C++ libraries for building network- and internet-based applications that run on desktop, server, mobile, IoT, and embedded systems.

Language:CNOASSERTION807700