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