Popular repositories Loading

1. xv6-public xv6-public Public

   Forked from mit-pdos/xv6-public

   xv6 OS

   C

2. theorem_proving_in_lean theorem_proving_in_lean Public

   Forked from leanprover/theorem_proving_in_lean

   Theorem proving in Lean

   TeX

3. subsexpl subsexpl Public

   Forked from flaviodemoura/subsexpl

   A framework for simulation of explicit substitutions calculi

   OCaml

4. gnucash-android gnucash-android Public

   Forked from codinguser/gnucash-android

   Gnucash for Android mobile companion application.

   Java

5. avbarbosa.github.io avbarbosa.github.io Public

6. innersource innersource Public