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