Explore projects
-
Marek Chalupa / Bubaak
MIT LicenseBubaak - a tool of indeterminate structure that scares children and makes adults nervous (or laughing).
Updated -
iProver -- a theorem prover for first-order logic with support for arithmetical reasoning.
Updated -
F-Droid / fdroid-verification-server
GNU Affero General Public License v3.0Ansible automation for setting up https://verification.f-droid.org
Updated -
Francesco Calcavecchia / features_factory
MIT LicenseA small package that helps dealing with Machine Learning features with pandas.
Updated