Genealogy is a free and open-source family tree PHP application to record family members and their relationships, build with LARAVEL 12.

A utility to stream (and record) from a Remarkable2 without hack or third party dependencies

use your reMarkable as a graphics tablet

PG-HIVE: Hybrid Incremental Schema DiscoVEry for Property Graphs

Export large notes & folders from reMarkable

An emulator of the Amstrad CPC 8bit home computer range.

DropNet: Reducing Neural Network Complexity via Iterative Pruning (ICML 2020)

AI that plays any Yu-Gi-Oh! deck

Code Repository for the paper "Mechanistic Neural Networks for Scientific Machine Learning", ICML 2024

A method for training neural networks that are provably robust to adversarial attacks.

On Certifying Non-uniform Bounds against Adversarial Attacks [ICML 2019]

ETH Robustness Analyzer for Deep Neural Networks

[ICLR 2022] Complete Verification via Multi-Neuron Relaxation Guided Branch-and-Bound

auto_LiRPA: An Automatic Linear Relaxation based Perturbation Analysis Library for Neural Networks and General Computational Graphs

alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, 2023, 2024, 2025)

Random Forests eXplainer with SAT

Qhull development for www.qhull.org -- Qhull 2020.2 (8.1-alpha1) at https://github.com/qhull/qhull/wiki

VeriX: Towards Verified Explainability of Deep Neural Networks

Find Nash equilibrium for all games

First Order Inductive Learner (FOIL) algorithm implemented in Prolog

First Order Inductive Learner (FOIL) algorithm implemented in Python

A Symbolic Package for Octave using SymPy

An explainable inference software supporting annotated, real valued, graph based and temporal logic

A parallel branch-and-bound engine for Python. (https://pybnb.readthedocs.io/)

An implementation of Defeasible Logic in Python

COVID-19 Knowledge Graph: a computable, multi-modal, cause-and-effect knowledge model of COVID-19 pathophysiology