mvcisback Goto Github PK

agda-frp-ltl

An implementation of Functional Reactive Programming

bdd2dfa

Python library for converting binary decision diagrams to automata.

bugwarrior

Pull github, bitbucket, and trac issues into taskwarrior

configs

cps_nsf_sp21

damped_waveguide

dd

Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy

dd2nx

Python library for converting the dd package's BDD to Multigraph in networkx.

dfa

A simple python implementation of a DFA.

dfa-embeddings

dfa-identify

Python library for identifying/learning DFAs from labeled examples by reduction to SAT.

dfa-mutate

Library for generating mutations for DFAs

dfa-sampler

Library for implementing dfa sampling strategies (pull requests welcome)

discretesignals

A domain specific language for modeling and manipulating discrete time signals.

diss

Demonstration Informed Specification Search

docker-etebase

Docker image files for Etebase server

ds4drv

A Sony DualShock 4 userspace driver for Linux

emacs.d

embeddedboundary

exp4

fm-deadlines

:alarm_clock: Formal Methods (FM) conference deadline countdowns

fold-bdd

Library for folding (or reducing) over a Reduced Ordered Binary Decision Diagram.

gallo

gpipe-core

Core library of new GPipe, encapsulating OpenGl and providing a type safe minimal library

gridworld-visualizer

Small library for visualizing gridworlds by generating svgs styled and animated by css.

gridworld_game

haskell_i

haskell_stl

hasse

Python library for creating hasse diagram graphs

hypothesis-cfg

Generate random elements of a language defined by a context free grammar.