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/VuforiaTransparentVideo
Sample app that can render transparent video using augmented reality framework Vuforia.
daemontus/VuforiaLibGDX
Example of Vuforia and LibGDX integration for 3D model rendering
daemontus/kotlin-option-result
Option and Result type for Kotlin (API based on Rust)
daemontus/ctl-petri-net-checker
Simple explicit CTL model checker written in Rust
daemontus/pnml-parser
Simple Rust parser for PNML format
daemontus/glucose
Glucose is a lightweight replacement for Android Fragments written in Kotlin and designed with simplicity, composability, safety and reactive programming in mind.
daemontus/jafra
Distributed termination detection using Safra's algorithm.
daemontus/klee-examples
daemontus/statnice_priprava
Príprava na bakalárske štátnice FI MUNI
daemontus/z3-rs
Rust safe bindings to Z3 solver
daemontus/android-constrained-widgets
Set of Android widgets that will respect a given aspect ratio
daemontus/android-widgets
A collection of useful utility widgets for Android apps.
daemontus/biodivine-algebraic-toolkit
An utility library for exact number manipulation, polynomials, rational functions, etc.
daemontus/daemontus.github.io
daemontus/egholm
Some utility classes/functions written in Kotlin. Use at your own risk :)
daemontus/glucose-new
daemontus/IA158
Project for the IA158 Real Time Systems course.
daemontus/Infinite-Nyan-Cat
daemontus/IV109-housing-crisis
daemontus/jvm-counter
A simple utility that provides statistics about JVM applications.
daemontus/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.
daemontus/master_thesis
daemontus/mcc-ctl-parser
XML parser for CTL formulas from MCC in Rust
daemontus/pb007-banking-system
PB007/Project/Banking System
daemontus/PV168-tourney-registration
Project fro Simnar of Java Programming
daemontus/red-bifurcation
daemontus/rust_json_utils
Simple utility library for a more flexible work with rustc_serialize
daemontus/RxSocialAuth
Android RxJava library for Social auth (Google, Facebook) and Smart Lock For Passwords
daemontus/titulky
Just a bunch of text files
daemontus/z3-rs-1