Stars
A simple, rational music player for android
A replacement for the Connective Plugin which is used on several websites to log in or sign documents using a card reader and an electronic identity card.
🇳🇱 English language locale for the Netherlands (en_NL)
Master Thesis Research on Data-driven Surrogate Models for Predicting Wind Turbine Wake Effects
Official implementation of Probabilistic Integral Circuits
Collection of userstyles affecting the browser
HID -> PC/SC Bridge for FIDO2 Device Use
An implementation of the CONEstrip algorithms using python and z3
Official implementation of E(n)-equivariant Graph Neural Cellular Automata
A Python Library for Deep Probabilistic Modeling
Sum Product Flow: An Easy and Extensible Library for Sum-Product Networks
Android application compatible with ZX2C4's Pass command line application
A collection of Python and LaTeX files to support execution of Python, Mathematica etc. within a LaTeX document.
A bit like Solr, but much smaller and not as bright
🇳🇱🇧🇪🇸🇷 Dutch word list by OpenTaal
check links in web documents or full websites
This repository used to be the user-facing mirror of the Sage source tree. As Sage development migrated on 2023-02-01 from https://trac.sagemath.org/ to our new repository on GitHub, https://github…
This is the old, deprecated, monolith Horde repository, archived here for historical reasons.
python code for generating coherence constraints for lower previsions
C++ code for generating sets of constraints characterizing many kinds of imprecise probabilities