Pinned Repositories
artifact_cav2021
kotlin-ace-wrapper
A Kotlin/JS wrapper for the Ace code editor.
kotlin-option-result
Option and Result type for Kotlin (API based on Rust)
sylvan-sys
Low-level Rust bindings for the Sylvan parallel decision diagram library.
VuforiaLibGDX
Example of Vuforia and LibGDX integration for 3D model rendering
VuforiaTransparentVideo
Sample app that can render transparent video using augmented reality framework Vuforia.
cudd-sys
CU Decision Diagram library bindings for Rust
biodivine-aeon-py
biodivine-boolean-models
A collection of 230+ Boolean networks from various sources useful for benchmarking or testing.
biodivine-lib-bdd
A small library for BDD manipulation in Rust. Part of the BioDivine toolset.
daemontus's Repositories
daemontus/kotlin-ace-wrapper
A Kotlin/JS wrapper for the Ace code editor.
daemontus/sylvan-sys
Low-level Rust bindings for the Sylvan parallel decision diagram library.
daemontus/artifact_cav2021
daemontus/artefact-aeon-py
Artefact data describing performance benchmarks for the AEON.py Python BN toolbox.
daemontus/macos-perfcnt
Hopefully a working Rust API for accessing performance counters on macOS.
daemontus/pv252-project-template
daemontus/attractor-phenotypes
First-order language for attractor phenotype specification.
daemontus/bc-thesis
On parameter synthesis of biochemical models using CTL model checking.
daemontus/bioconda-recipes
Conda recipes for the bioconda channel.
daemontus/biodivine-aeon-py
daemontus/biodivine-aeon-wasm
WASM version of the AEON backend
daemontus/bn-scc-experiments
daemontus/bonesis
Synthesis and Reprogramming of Most Permissive Boolean Networks
daemontus/colomoto-docker
The CoLoMoTo Interactive Notebook: Accessible and Reproducible Computational Analyses for Qualitative Biological Networks
daemontus/gradle-graal-truffle-plugins
Defines several Gradle plugins for interacting with Graal compiler and development of Truffle languages.
daemontus/gradle-graal-truffle-plugins-demo
daemontus/heap-language
A minimal implementation of a Truffle-based language for analysing heap dumps.
daemontus/home-3d-models
daemontus/luggage
Configuration notes and docker files for services running on a "luggage" server.
daemontus/mpbn
Brief Python implementation of Most Permissive Boolean Networks
daemontus/netbeans
Apache NetBeans
daemontus/pdoc
API Documentation for Python Projects
daemontus/pyo3
Rust bindings for the Python interpreter
daemontus/ruddy
daemontus/setup-z3
Set up a specific version of the Z3 theorem prover
daemontus/sylvan
Implementation of multi-core (binary) decision diagrams
daemontus/tray-item-rs
[WIP] Multi-platform Tray Indicator
daemontus/tsconj
Python package for enumeration of minimal/maximal trap spaces
daemontus/web-view
Rust bindings for webview, a tiny cross-platform library to render web-based GUIs for desktop applications
daemontus/websupport-ddns-docker
Docker image for automatic updates of WebSupport.sk DNS records.