mvcisback/dfa

A simple python implementation of a DFA.

Language: Python - Size: 228 KB - Last synced: 3 days ago - Pushed: 4 days ago - Stars: 17 - Forks: 3

mvcisback/dfa-sampler

Library for implementing dfa sampling strategies (pull requests welcome)

Language: Python - Size: 15.6 KB - Last synced: 6 days ago - Pushed: 6 days ago - Stars: 0 - Forks: 0

mvcisback/dfa-embeddings

Language: Python - Size: 69.3 KB - Last synced: 9 days ago - Pushed: 9 days ago - Stars: 0 - Forks: 0

mvcisback/py-metric-temporal-logic

Python library for working with Metric Temporal Logic (MTL)

Language: Python - Size: 397 KB - Last synced: 4 days ago - Pushed: about 1 year ago - Stars: 87 - Forks: 19

mvcisback/neural-dfa-planner

Language: Nix - Size: 1.95 KB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 0 - Forks: 0

mvcisback/py-mdd

Python abstraction around Binary Decision Diagrams to implement Multivalued Decision Diagrams.

Language: Python - Size: 238 KB - Last synced: about 16 hours ago - Pushed: about 3 years ago - Stars: 4 - Forks: 1

mvcisback/py-aiger-sat

Pythonic interface between AIGs and SAT solvers.

Language: Python - Size: 116 KB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 3 - Forks: 1

mvcisback/bdd2dfa

Python library for converting binary decision diagrams to automata.

Language: Python - Size: 136 KB - Last synced: 2 months ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

mvcisback/dfa-identify

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

Language: Python - Size: 275 KB - Last synced: 25 days ago - Pushed: about 2 months ago - Stars: 5 - Forks: 3

mvcisback/py-aiger

py-aiger: A python library for manipulating sequential and combinatorial circuits encoded using `and` & `inverter` gates (AIGs).

Language: Python - Size: 514 KB - Last synced: 27 days ago - Pushed: about 2 months ago - Stars: 38 - Forks: 8

mvcisback/lstar

Python implementation of lstar automata learning algorithm.

Language: Python - Size: 93.8 KB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 6 - Forks: 1

mvcisback/pyLazyTree

Python library for manipulating infinite trees.

Language: Python - Size: 53.7 KB - Last synced: 19 days ago - Pushed: 4 months ago - Stars: 1 - Forks: 0

mvcisback/py-aiger-cnf

Code for transforming aiger expression into an equi-satisifabile aiger expression in CNF form.

Language: Python - Size: 175 KB - Last synced: 27 days ago - Pushed: about 2 months ago - Stars: 5 - Forks: 2

mvcisback/py-aiger-past-ltl

past-ltl -> aiger circuit library.

Language: Python - Size: 78.1 KB - Last synced: 2 months ago - Pushed: over 1 year ago - Stars: 2 - Forks: 1

mvcisback/py-aiger-dfa

Python library for converting between AIG circuits and DFAs.

Language: Python - Size: 184 KB - Last synced: 26 days ago - Pushed: about 2 months ago - Stars: 2 - Forks: 0

mvcisback/py-signal-temporal-logic

Wrapper on metric-temporal-logic to implement signal temporal logic.

Language: Python - Size: 12.7 KB - Last synced: 23 days ago - Pushed: over 1 year ago - Stars: 1 - Forks: 0

mvcisback/monotone-bipartition

Compute Monotone Threshold Surfaces and compute distances between surfaces.

Language: Python - Size: 262 KB - Last synced: 9 months ago - Pushed: about 3 years ago - Stars: 1 - Forks: 5

mvcisback/magnumSTL

Language: Python - Size: 1.76 MB - Last synced: 9 months ago - Pushed: over 6 years ago - Stars: 0 - Forks: 4

mvcisback/py-aiger-gridworld

Language: Python - Size: 66.4 KB - Last synced: 12 months ago - Pushed: about 1 year ago - Stars: 0 - Forks: 1

mvcisback/gridworld-visualizer

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

Language: Python - Size: 9.77 KB - Last synced: 12 months ago - Pushed: over 5 years ago - Stars: 8 - Forks: 4

mvcisback/py-aiger-bv

pyAiger-BV: Extension of pyAiger for manipulating sequential bitvector circuits.

Language: Python - Size: 294 KB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 2 - Forks: 2

mvcisback/dfa-mutate

Library for generating mutations for DFAs

Language: Python - Size: 18.6 KB - Last synced: 8 days ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

mvcisback/py-aiger-abc

Aiger <-> ABC bridge

Language: Python - Size: 27.3 KB - Last synced: 10 days ago - Pushed: over 3 years ago - Stars: 4 - Forks: 1

mvcisback/py-aiger-coins

Library for creating circuits that encode discrete distributions. The name comes from the random bit model of drawing from discrete distributions using coin flips.

Language: Python - Size: 168 KB - Last synced: 30 days ago - Pushed: over 1 year ago - Stars: 1 - Forks: 1

mvcisback/DiscreteSignals

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

Language: Python - Size: 52.7 KB - Last synced: 3 days ago - Pushed: about 1 year ago - Stars: 4 - Forks: 2

mvcisback/Haskell_STL 📦

Language: Haskell - Size: 3.91 KB - Last synced: 12 months ago - Pushed: almost 7 years ago - Stars: 0 - Forks: 0

mvcisback/Mozilla-Intern-Presentation 📦

Mozilla Intern Presentation Summer 2014

Language: CSS - Size: 12.4 MB - Last synced: 12 months ago - Pushed: over 9 years ago - Stars: 0 - Forks: 0

mvcisback/SSLVC 📦

Sound Source Localization using Visual Cues

Language: TeX - Size: 176 MB - Last synced: 12 months ago - Pushed: over 9 years ago - Stars: 4 - Forks: 1

mvcisback/damped_waveguide 📦

Language: TeX - Size: 8.47 MB - Last synced: 12 months ago - Pushed: almost 9 years ago - Stars: 0 - Forks: 0

mvcisback/pyroomba 📦

Language: Python - Size: 164 KB - Last synced: 12 months ago - Pushed: about 10 years ago - Stars: 1 - Forks: 1

mvcisback/sceptre 📦

An evdev Python Joystick and Gamepad Library

Language: Python - Size: 129 KB - Last synced: 12 months ago - Pushed: over 9 years ago - Stars: 0 - Forks: 0

mvcisback/past-mtl-monitors

A library for creating past metric temporal logic monitors.

Language: Python - Size: 86.9 KB - Last synced: 24 days ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

mvcisback/py-aiger-bdd

Aiger <-> BDD bridge.

Language: Python - Size: 99.6 KB - Last synced: 7 days ago - Pushed: about 1 month ago - Stars: 2 - Forks: 2

mvcisback/py-stl

Size: 1000 Bytes - Last synced: 12 months ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

mvcisback/mvcisback.github.com

Language: HTML - Size: 15.3 MB - Last synced: 12 months ago - Pushed: over 1 year ago - Stars: 0 - Forks: 1

mvcisback/probabilistic_automata

Python library for manipulating probablistic automata.

Language: Python - Size: 216 KB - Last synced: 15 days ago - Pushed: over 3 years ago - Stars: 3 - Forks: 2

mvcisback/DISS

Demonstration Informed Specification Search

Language: Python - Size: 11.3 MB - Last synced: 5 months ago - Pushed: 5 months ago - Stars: 0 - Forks: 2

mvcisback/fm-deadlines Fork of paperswithcode/ai-deadlines

:alarm_clock: Formal Methods (FM) conference deadline countdowns

Language: HTML - Size: 289 KB - Last synced: 12 months ago - Pushed: about 5 years ago - Stars: 1 - Forks: 2

mvcisback/RSS21

Language: TeX - Size: 6.71 MB - Last synced: 12 months ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

mvcisback/py-aiger-discrete

Library for modeling functions over finite sets using aiger circuits.

Language: Python - Size: 134 KB - Last synced: 13 days ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

mvcisback/py-aiger-js

Python Library for generating javascript code that evaluates a given And Inverter Graph (Sequential Circuit).

Language: Python - Size: 12.7 KB - Last synced: 26 days ago - Pushed: almost 4 years ago - Stars: 0 - Forks: 0

mvcisback/memreps

Language: Python - Size: 157 KB - Last synced: 12 months ago - Pushed: over 1 year ago - Stars: 0 - Forks: 1

mvcisback/punigen

Language: Python - Size: 5.86 KB - Last synced: 12 months ago - Pushed: over 2 years ago - Stars: 0 - Forks: 1

mvcisback/hasse

Python library for creating hasse diagram graphs

Language: Python - Size: 10.7 KB - Last synced: 12 months ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

mvcisback/exp4

Language: Python - Size: 21.5 KB - Last synced: 12 months ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

mvcisback/py-aiger-jani

Python library for translating from a subset of Jani to AIGs.

Language: Python - Size: 250 KB - Last synced: 12 months ago - Pushed: almost 3 years ago - Stars: 2 - Forks: 0

mvcisback/CPS_NSF_SP21

Language: JavaScript - Size: 252 KB - Last synced: 12 months ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0

mvcisback/markdown-cv Fork of elipapa/markdown-cv

a simple template to write your CV in a readable markdown file and use CSS to publish/print it.

Size: 12.4 MB - Last synced: 12 months ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0

mvcisback/docker-etebase Fork of victor-rds/docker-etebase

Docker image files for Etebase server

Size: 141 KB - Last synced: 12 months ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

mvcisback/improvisers

A Python library for creating and modeling controlled improvisers.

Language: Python - Size: 1.06 MB - Last synced: 12 months ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

mvcisback/yasit

(Y)et (a)nother (s)pecification (i)nference (t)ool

Language: Python - Size: 707 KB - Last synced: 12 months ago - Pushed: almost 2 years ago - Stars: 2 - Forks: 0

mvcisback/EmbeddedBoundary Fork of marissachanlatte/EmbeddedBoundary

Size: 1.72 MB - Last synced: 12 months ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

mvcisback/mce-spec-inference

Language: Python - Size: 614 KB - Last synced: about 2 months ago - Pushed: almost 4 years ago - Stars: 0 - Forks: 0

mvcisback/hypothesis-cfg

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

Language: Python - Size: 7.81 KB - Last synced: 12 months ago - Pushed: about 4 years ago - Stars: 0 - Forks: 1

mvcisback/py-aiger-spectral

This library is a tool for performing (Fourier) Analysis of Boolean Functions.

Language: Python - Size: 4.88 KB - Last synced: 12 months ago - Pushed: about 5 years ago - Stars: 1 - Forks: 0

mvcisback/fold-bdd

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

Language: Python - Size: 49.8 KB - Last synced: about 2 months ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

mvcisback/dd2nx

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

Language: Python - Size: 17.6 KB - Last synced: about 16 hours ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

mvcisback/dd Fork of tulip-control/dd

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

Size: 787 KB - Last synced: 12 months ago - Pushed: about 5 years ago - Stars: 0 - Forks: 0

mvcisback/pysat Fork of pysathq/pysat

A toolkit for SAT-based prototyping in Python

Size: 959 KB - Last synced: 12 months ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

mvcisback/python-monitors Fork of doganulus/python-monitors

A pure Python package to monitor formal specifications over temporal sequences

Size: 43.9 MB - Last synced: 12 months ago - Pushed: about 5 years ago - Stars: 0 - Forks: 0

mvcisback/LogicalLens

Python library for using parametric specifications to embed domain specific knowledge in machine learning.

Language: Python - Size: 206 KB - Last synced: 1 day ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 1

mvcisback/gridworld_game

Language: JavaScript - Size: 143 KB - Last synced: 12 months ago - Pushed: almost 5 years ago - Stars: 0 - Forks: 0

mvcisback/typesafe_teapot

Language: Haskell - Size: 3.61 MB - Last synced: 12 months ago - Pushed: about 5 years ago - Stars: 0 - Forks: 0

mvcisback/configs

Language: Nix - Size: 84 KB - Last synced: 12 months ago - Pushed: about 5 years ago - Stars: 0 - Forks: 0

mvcisback/py-AIGAR

py-AIGAR: Tools for analyzing aiger circuits.

Language: Python - Size: 79.1 KB - Last synced: 11 days ago - Pushed: almost 2 years ago - Stars: 1 - Forks: 3

mvcisback/gallo Fork of marissachanlatte/gallo

Language: Jupyter Notebook - Size: 6.22 MB - Last synced: 12 months ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

mvcisback/python-lenses Fork of ingolemo/python-lenses

A python lens library for manipulating deeply nested immutable structures

Language: Python - Size: 426 KB - Last synced: 12 months ago - Pushed: about 6 years ago - Stars: 0 - Forks: 0

mvcisback/spec_inference_experiments

Language: Python - Size: 14.6 KB - Last synced: 12 months ago - Pushed: about 6 years ago - Stars: 0 - Forks: 0

mvcisback/maxcount Fork of dfremont/maxcount

An approximate Max#SAT solver.

Language: Python - Size: 2.31 MB - Last synced: 12 months ago - Pushed: almost 7 years ago - Stars: 0 - Forks: 0

mvcisback/traces Fork of datascopeanalytics/traces

A Python library for unevenly-spaced time series analysis

Language: Python - Size: 406 KB - Last synced: 12 months ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

mvcisback/emacs.d

Language: Emacs Lisp - Size: 10.7 KB - Last synced: 12 months ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

mvcisback/mypy Fork of python/mypy

A Python variant with seamless dynamic and static typing

Size: 6.07 MB - Last synced: 12 months ago - Pushed: over 9 years ago - Stars: 0 - Forks: 0

mvcisback/Jack_The_Wrapper

Language: Python - Size: 297 KB - Last synced: 12 months ago - Pushed: about 9 years ago - Stars: 0 - Forks: 0

mvcisback/agda-frp-ltl Fork of agda/agda-frp-ltl

An implementation of Functional Reactive Programming

Language: Agda - Size: 126 KB - Last synced: 12 months ago - Pushed: about 9 years ago - Stars: 0 - Forks: 0

mvcisback/pytypedecl Fork of google/pytypedecl

Language: Python - Size: 307 KB - Last synced: 12 months ago - Pushed: over 9 years ago - Stars: 0 - Forks: 0

mvcisback/spiderflunky Fork of mozilla/spiderflunky

Static analysis of JavaScript

Language: Python - Size: 815 KB - Last synced: 12 months ago - Pushed: almost 10 years ago - Stars: 0 - Forks: 0

mvcisback/bugwarrior Fork of ralphbean/bugwarrior

Pull github, bitbucket, and trac issues into taskwarrior

Size: 568 KB - Last synced: 12 months ago - Pushed: almost 10 years ago - Stars: 0 - Forks: 0

mvcisback/parser_api

Language: Haskell - Size: 281 KB - Last synced: 12 months ago - Pushed: almost 10 years ago - Stars: 0 - Forks: 1

mvcisback/GPipe-Core Fork of tobbebex/GPipe-Core

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

Language: Haskell - Size: 172 KB - Last synced: 12 months ago - Pushed: about 10 years ago - Stars: 0 - Forks: 0

mvcisback/haskell_I

Language: Haskell - Size: 137 KB - Last synced: 12 months ago - Pushed: about 10 years ago - Stars: 0 - Forks: 0

mvcisback/ds4drv Fork of chrippa/ds4drv

A Sony DualShock 4 userspace driver for Linux

Language: Python - Size: 1.41 MB - Last synced: 12 months ago - Pushed: about 10 years ago - Stars: 0 - Forks: 0