Stars
Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of development.
Sources of the EuroProofNet web site.
II-20 is a multimedia analytics system for intelligent analytic categorization of image collections. II-20 loads in your dataset, and allows you to define your categories of relevance - called buck…
Linux kernel driver for Xbox One and Xbox Series X|S accessories
An optimiser to generate the optimum table configuration from a set of hard and soft constraints
Menu parser for the restaurants near SciLifeLab in Solna and Uppsala
Logistic regression with bound and linear constraints. L1, L2 and Elastic-Net regularization.
Repository for the NASLib Hands-on Session at the AutoML Fall School 2022
CMake integration in Visual Studio Code
Solves the game Hexcells with a SAT solver and OpenCV
Minimization of the number of tardy jobs on a single machine
myGym enables fast prototyping of RL in the area of robotic manipulation and navigation.You can train different robots, in several environments on various tasks. There is automatic evaluation and b…
SMAC3: A Versatile Bayesian Optimization Package for Hyperparameter Optimization
The Agda Universal Algebra Library (html docs available at the url below)
Hydra is a framework for elegantly configuring complex applications