teodorov

cpachecker

CPAchecker, the Configurable Software-Verification Platform (read-only mirror)

alpha-zero-general

A clean implementation based on AlphaZero for any game in any framework + tutorial + Othello/Gobang/TicTacToe/Connect4 and more

graphview

Flutter GraphView is used to display data in graph structures. It can display Tree layout, Directed and Layered graph. Useful for Family Tree, Hierarchy View.

jpf-core

JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.

F3

F3 is a prototype tool that searches for fair paths in finite/infinite state transition systems.

rigorous

A framework for working with inference rules.

lean-transition-systems

DreamOS

Copy of DreamOS written in R5RS Scheme by David Joseph Stith uploaded to Github from the Web Archive. I plan to use this as reference for a future project :)

pie

The Pie language, which accompanies The Little Typer by Friedman and Christiansen

graph-library-for-lean4

UML-State-Machine-in-C

A minimalist UML State machine framework for finite state machine and hierarchical state machine in C

frap

Formal Reasoning About Programs

spring21

Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2021

bbv

Bedrock Bit Vector Library

parsing-with-derivalives-javascript

pyModelChecking

A Python model checking package

ClockRDL

Clock Relation Definition Language

vesseljs

Vessel.js Ship Design Library

abstract-algorithm

Optimal evaluator of λ-calculus terms.

stategraph

Flutter State Graph Architecture

dypimca-secure-mde-2020

Formality-Core

Specification of the Formality proof and programming language

vsc-prettify-symbols-mode

Prettify Symbols Mode for Visual Studio Code

pi-forall

A demo implementation of a simple dependently-typed language

libalf

The Automata Learning Framework

derp-3

abc

ABC: System for Sequential Logic Synthesis and Formal Verification

lean-scheduling

lean formalisation of language scheduling for target execution and model-checking

SpecEdit

A projectional editor for the specification language TLA+ created with JetBrains MPS.

Ecore2JavaGradle

A gradle task for generating Java code from Ecore