-
ltl-translators Public
translators between various LTL formats and generators of LTL
Haskell BSD 3-Clause "New" or "Revised" License UpdatedOct 14, 2025 -
automata-safa Public
symbolic alternating finite automata transformation library
-
-
-
-
dual-boot Public
personal guide and scripts for installing arch linux along windows
Shell UpdatedOct 8, 2025 -
configmaton Public
separate dynamic configuration and logging from code using state machine
Rust UpdatedJul 27, 2025 -
-
-
sdf-viewer Public
Forked from yeicor/sdf-viewerA fast and cross-platform Signed Distance Function (SDF) viewer, easily integrated with your SDF library.
Rust Apache License 2.0 UpdatedDec 7, 2024 -
-
-
-
-
automata-safa-capnp Public
interchange format for various forms of finite automata, with the aim at symbolic alternating finite automata
C++ BSD 3-Clause "New" or "Revised" License UpdatedJan 7, 2024 -
-
pylint_editable_test Public
minimal example of failing pylint with editable dependency
Python UpdatedJul 31, 2023 -
half_bridges_adc Public
stm32 nucleof334r8 extension board with 3 half bridge mosfet drivers for inductions, with current measurement
UpdatedMar 15, 2023 -
symbolicautomata Public
Forked from lorisdanto/symbolicautomataLibrary for symbolic automata and symbolic visibly pushdown automata
-
-
-
shared-formula Public
simplification of boolean formulae: hash consing, boolean laws
-
toris Public
Forked from VeriFIT/mataA new automata library
C++ GNU General Public License v3.0 UpdatedJul 21, 2022 -
-
connexion Public
Forked from spec-first/connexionSwagger/OpenAPI First framework for Python on top of Flask with automatic endpoint validation & OAuth2 support
Python Other UpdatedApr 26, 2022 -
-
aiohttp Public
Forked from aio-libs/aiohttpAsynchronous HTTP client/server framework for asyncio and Python
Python Other UpdatedOct 24, 2021 -
capnproto Public
Forked from capnproto/capnprotoCap'n Proto serialization/RPC system - core tools and C++ library
C++ Other UpdatedOct 3, 2021 -
-
lens-recursion-schemes Public
playground for approaches to clean up working with recursive data structures
Haskell BSD 3-Clause "New" or "Revised" License UpdatedOct 2, 2021
{{ message }}