Pavol Vargovčík's repositories
antisat
antichain for symbolic alternating finite automata
automata-safa
symbolic alternating finite automata transformation library
automata-safa-capnp
interchange format for various forms of finite automata, with the aim at symbolic alternating finite automata
pylint_editable_test
minimal example of failing pylint with editable dependency
ltl-translators
translators between various LTL formats and generators of LTL
half_bridges_adc
stm32 nucleof334r8 extension board with 3 half bridge mosfet drivers for inductions, with current measurement
symbolicautomata
Library for symbolic automata and symbolic visibly pushdown automata
shared-formula
simplification of boolean formulae: hash consing, boolean laws
toris
A new automata library
nd-matrix-viewer
visualize numpy multidimensional matrices
connexion
Swagger/OpenAPI First framework for Python on top of Flask with automatic endpoint validation & OAuth2 support
plate
haskell traversals over any type parameter
aiohttp
Asynchronous HTTP client/server framework for asyncio and Python
capnproto
Cap'n Proto serialization/RPC system - core tools and C++ library
automata-safa-bench
benchmarks for symbolic alternating finite automata
lens-recursion-schemes
playground for approaches to clean up working with recursive data structures
automata-safa-example
some example of use for automata-safa-capnp
pyzmq
PyZMQ: Python bindings for zeromq
yacad
yet another CAD (for now it's just some extra lib for ImplicitCAD
rxpy_backpress
yet another back pressure for RxPY
genny
Elegant generics for Go
RxPY
Reactive Extensions for Python, https://rxpy.rtfd.io
ymlafa
toolset for yml format of alternating finite automata