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-tool-compiler
Apache License 2.0A compiler that compiles Mu IR in text (by using the bundle api, or alternatively generates C code that does the same).
Updated -
dacapo / tools / analysis-tools
Apache License 2.0Updated -
mu / mu-impl-ref2
Creative Commons Attribution Share Alike 4.0 InternationalHolstein: the Mu reference implementation (the 2nd version).
Updated -
This repo hosts an issue tracker, tracking high-level discussions about the project itself and also technical details not directly associated with any particular implementations.
Updated -
Updated
-
-
-
Updated
-
A Jekyll plugin gem for easily incorporating reveal.js HTML slides into your Jekyll website.
Updated -
Archived 0Updated
-
mu / mu-perf-benchmarks
Apache License 2.0Mu performance measurement framework and benchmarks.
Updated -
Updated
-
Alwen TIU / pfmc-prover
BSD 3-Clause "New" or "Revised" LicenseParallel Fixed-point Model Checker (PFMC) - a parallel version of Open-Source Fixed-point Model Checker (OFMC) for security protocol verification.
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 -
A demonstration of writing papers quickly in markdown -- for both ACM and LLNCS formats.
Updated -
A demonstration of writing papers quickly in markdown -- for both ACM and LLNCS formats.
Updated