daemontus Goto Github PK

android-constrained-widgets

Set of Android widgets that will respect a given aspect ratio

android-widgets

A collection of useful utility widgets for Android apps.

artefact-aeon-py

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

artifact_cav2021

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-algebraic-toolkit

An utility library for exact number manipulation, polynomials, rational functions, etc.

biodivine-stdlib

bn-scc-experiments

colomoto-docker

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

ctl-petri-net-checker

Simple explicit CTL model checker written in Rust

daemontus.github.io

egholm

Some utility classes/functions written in Kotlin. Use at your own risk :)

glucose

Glucose is a lightweight replacement for Android Fragments written in Kotlin and designed with simplicity, composability, safety and reactive programming in mind.

glucose-new

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

ia158

Project for the IA158 Real Time Systems course.

infinite-nyan-cat

iv109-housing-crisis

jafra

Distributed termination detection using Safra's algorithm.

jvm-counter

A simple utility that provides statistics about JVM applications.

klee-examples

kotlin-ace-tutorial

This is a demo repository for a series of articles about writing Kotlin parser for both frontend and backend at the same time.

kotlin-ace-wrapper

A Kotlin/JS wrapper for the Ace code editor.