Explore projects
-
Harco Kuppens / tomte
BSD 3-Clause "New" or "Revised" Licensehttp://tomte.cs.ru.nl/ Tomte is a tool that fully automatically constructs abstractions for automata learning.
Updated -
-
Paul Fiterau Brostean / tcp-learner
Apache License 2.0Python+Java tool for learning TCP implementations
Updated -
Updated
-
-
Updated
-
Scripts and tools to compile Clean for multiple platforms (e.g. Linux, Windows and Android).
Updated -
-
Updated
-
Updated
-
The Clean platform is a collection of multi-platform general purpose libraries for Clean.
Updated -
Implementation of elliptic curve cryptography using the Renes-Costello-Batine addition laws
Updated -
-
-
clean-compiler-and-rts / run-time-system
BSD 2-Clause FreeBSD LicenseRun-time system for the Clean programming language
Updated -
-
-
Updated
-
clean-and-itasks / clean-libraries
BSD 2-Clause FreeBSD LicenseClean libraries and examples
Updated