margnus1/dotfiles
Public repository.
Developer Profile
margnus1
Discovered public repositories for margnus1 in the GitHub catalog.
margnus1/gitlab-mirrors
A set of scripts adding the ability of managing remote mirrors to GitLab.
margnus1/micro-c
A compiler from a C language subset to MIPS.
margnus1/croc
Where's croc game and player
margnus1/planning
A simple planning problem solver
margnus1/memorax
Prototype tool for verification and automatic fence insertion for parallel programs under relaxed memory models. Please see the main repository at https://github.com/memorax/memorax.
margnus1/regex
A minimalistic Standard ML Regex library
margnus1/kid-mud
An Erlang MUD