Explore projects
-
LaTeX templates for:
presentations lecture slides research project reports (like Bachelor, Master, or PhD theses, but also much smaller ones)Created by Pascal Bercher (credit appreciated), though some parts may have contributions by others.
Updated -
-
mu / mu-client-ghc-api
Apache License 2.0Updated -
Updated
-
Updated
-
Updated
-
-
-
-
-
mu / mu-tool-vim
MIT LicenseVim Syntax Highlighting for Mu Intermediate Representation (kept updated to the most recent version)
Updated -
Updated
-
repository 7: pyHiPOP by Charles Lesire and Alexandre Albore
Updated -
Updated
-
mu / x-RPySOM
MIT LicenseRPySOM - The Simple Object Machine Smalltalk implemented in RPython
Updated -
A demonstration of writing papers quickly in markdown -- for both ACM and LLNCS formats.
Updated -
UpdatedUpdated
-
Updated
-
Updated