Popular repositories Loading

1. git-codeowners git-codeowners Public

   Adds the `git codeowners` subcommand to query and validate CODEOWNERS files

   Rust 7 1

2. transfinite-methoden-SS2013 transfinite-methoden-SS2013 Public

   Shell 1 1

3. minlog minlog Public

   Personal fork of the MINLOG proof system.

   Scheme 1 1

4. lmu-sysprak-ws2012 lmu-sysprak-ws2012 Public

   Forked from joachimneu/lmu-sysprak-ws2012

   C

5. lmu-compilerbauprak lmu-compilerbauprak Public

   A compiler for a a subset of Java ("MiniJava") to x86 assembler, written for LMU Compilerbaupraktikum SoSe2013

   Java

6. pgmpy pgmpy Public

   Forked from pgmpy/pgmpy

   Python Library for Probabilistic Graphical Models

   Python