Explore projects
-
sovereign / why3-avr
OtherUpdated -
Scripts and tools to compile Clean for multiple platforms (e.g. Linux, Windows and Android).
Updated -
Updated
-
Erin van der Veen / Bachelor-Thesis
GNU General Public License v2.0 or laterUpdated -
Updated
-
Updated
-
Implementing the L* learning algorithm for nominal automata, using the ONS library
Updated -
The Clean platform is a collection of multi-platform general purpose libraries for Clean.
Updated -
-
Code of my Deep Temp LUNA thesis project ("Deep (Learning-based) Temp(oral) LU(ng) N(odule) A(nalysis)").
"LUNA" may be a misnomer, as this is of course not like the LUNA16 "LUNA". This is "only" malignancy prediction. But it's a catchy name!
Updated -
-
-
-
Updated
-
Updated
-
Updated
-
Updated
-
-
Joost Rijneveld / concrexit
GNU Affero General Public License v3.0Make Thalia-website great again.
Updated