Explore projects
-
compilerconstruction / ssm
BSD 2-Clause "Simplified" LicenseUpdated -
Michel de Boer / ssm
BSD 2-Clause "Simplified" LicenseUpdated -
Reinier Joosse / ssm
BSD 2-Clause "Simplified" LicenseUpdated -
Wietze Mulder / ssm
BSD 2-Clause "Simplified" LicenseUpdated -
-
-
-
An automatic code review tool for student Java assignments.
Updated -
clean-and-itasks / parametric-lenses
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Joshua Moerman / ons-hs
MIT LicenseImplementation of the ONS (Ordered Nominal Sets) library in Haskell: https://github.com/Jaxan/ons-hs
archived 0Updated -
Mealy machines, DFAs, Circuits and minimisation in Haskell: https://github.com/Jaxan/Kiss2FSM
archived 0Updated -
Updated
-
archived 0Updated
-