Pinned Loading

1. formality formality Public

   Formal Methods, Maths and papers

   TeX 23 10

2. hadoop hadoop Public

   Forked from apache/hadoop

   Mirror of Apache Hadoop

   Java 15 9

3. engineering-proposals engineering-proposals Public

   Software engineering thoughts and proposals

   6 2

4. iceberg iceberg Public

   Forked from apache/iceberg

   Apache Iceberg

   Java 1

5. auditor auditor Public

   Security auditing tool to verify compiled .class files in JAR artifacts match original source

   Kotlin 2

6. edinburgh_cs edinburgh_cs Public

   handouts and notes from undergraduate Computers Science at edinburgh university 1985-89

   3 1