Explore projects
-
This repository contains various pre-prints, technical reports and other documents from Thomas Haines
UpdatedUpdated -
-
Ryan Wang / enhsp_wrapper
MIT LicenseUpdated -
Updated
-
Pascal Bercher / IPC2020-competitor-1
GNU General Public License v3.0 or laterrepository number 1: LiloTane by Dominik Schreiber
Updated -
-
-
repository 7: pyHiPOP by Charles Lesire and Alexandre Albore
Updated -
PandC-scrapers / degree-rule-scraper
Apache License 2.0An attempt to extract degree rules from Programs and Courses and represent them in a useful fashion.
Updated -
repository 6: PDDL4J-PO by Damien Pellier and Humbert Fiorino
Updated -
ENGN4528 project at CECS, the task is lane detection in autonomous driving.
Updated -
-
-
mu / mu-client-ghc-api
Apache License 2.0Updated -
This is a proof-of-concept JavaScript client for Mu to showcase the Mu API for trap, stack introspection and on-stack replacement. It only implements a subset of JavaScript, but still has the dynamism of JavaScript to demonstrate specialisation.
Updated -
UpdatedUpdated
-
Updated
-
mu / immix-rust
Apache License 2.0Updated