Explore projects
-
Updated
-
Updated
-
Updated
-
Paul Fiterau Brostean / tcp-learner
Apache License 2.0Python+Java tool for learning TCP implementations
Updated -
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 -
Archived 1Updated
-
clean-and-itasks / abc-interpreter
BSD 2-Clause "Simplified" LicenseThis project has been moved to GitLab.com.
Archived 1UpdatedArchived 1Updated -
Joshua Moerman / hybrid-ads
MIT LicenseHybrid adaptive distinguishing sequences for FSM-based complete testing: https://github.com/Jaxan/hybrid-ads
Archived 0Updated -
clean-compiler-and-rts / run-time-system
BSD 2-Clause FreeBSD LicenseRun-time system for the Clean programming language
Updated -
-
The Clean platform is a collection of multi-platform general purpose libraries for Clean.
Updated -
Leaderboard based on Python (Flask) where students can submit code assignments and see how their performance metrics compare to other students.
Updated -
Updated
-
-
-
Firmware for single board computer hardware specifically made for the biophysics experimental setups. Typically runs on Raspberry Pi and Arduino boards. For communication we use LabStreamingLayer (LSL), ZeroMQ and the Boost framework.
Updated -
IRMA / gomobile
BSD 3-Clause "New" or "Revised" LicenseUpdated