Explore projects
-
Updated
-
A tool performing AC-completion for left-linear TRSs written in Haskell.
Updated -
-
-
A project to provide proxy-autodetection to work for UNIX systems wishing to connect to the Internet, but not via a user's browser or via any dependencies on ECMAScript (ie, JavaScript).
Updated -
Institut für Informatik / QE Research Group / FORTE / Sensor System
Apache License 2.0This repository contains code used on the ESP32 devices within the forest
Updated -
Generating programs in the while-language from input/output-data using genetic programming.
[Moved by Admin 2021-08-18]
Updated -
A system to allow users to easily maintain, distribute, and switch between different HOME environments.
Updated -
User expired / KG Shapes Frontend
MIT LicenseCurrent topics WS2021 group project Backend can be found here: https://git.uibk.ac.at/csaz8448/kg-shapes
Updated -
Updated
-
Martin Thaler / scripts
GNU General Public License v3.0 onlyin shell-hell and python... mostly system development/architecture code
Updated -
User expired / Search Terms
MIT LicenseUpdated -
Kopp Markus / Frontend
Apache License 2.0Updated