daemontus

kotlin-ace-wrapper

A Kotlin/JS wrapper for the Ace code editor.

sylvan-sys

Low-level Rust bindings for the Sylvan parallel decision diagram library.

artifact_cav2021

artefact-aeon-py

Artefact data describing performance benchmarks for the AEON.py Python BN toolbox.

macos-perfcnt

Hopefully a working Rust API for accessing performance counters on macOS.

attractor-phenotypes

First-order language for attractor phenotype specification.

bc-thesis

On parameter synthesis of biochemical models using CTL model checking.

bioconda-recipes

Conda recipes for the bioconda channel.

biodivine-aeon-py

biodivine-aeon-wasm

WASM version of the AEON backend

biodivine-stdlib

bn-scc-experiments

colomoto-docker

The CoLoMoTo Interactive Notebook: Accessible and Reproducible Computational Analyses for Qualitative Biological Networks

gradle-graal-truffle-plugins

Defines several Gradle plugins for interacting with Graal compiler and development of Truffle languages.

gradle-graal-truffle-plugins-demo

heap-language

A minimal implementation of a Truffle-based language for analysing heap dumps.

home-3d-models

luggage

Configuration notes and docker files for services running on a "luggage" server.

mpbn

Brief Python implementation of Most Permissive Boolean Networks

netbeans

Apache NetBeans

pdoc

API Documentation for Python Projects

pyo3

Rust bindings for the Python interpreter

red-bifurcation

ruddy

setup-z3

Set up a specific version of the Z3 theorem prover

sylvan

Implementation of multi-core (binary) decision diagrams

tray-item-rs

[WIP] Multi-platform Tray Indicator

tsconj

Python package for enumeration of minimal/maximal trap spaces

web-view

Rust bindings for webview, a tiny cross-platform library to render web-based GUIs for desktop applications

websupport-ddns-docker

Docker image for automatic updates of WebSupport.sk DNS records.