Popular repositories Loading

1. tslox tslox Public

   TypeScript 3

2. really-hot really-hot Public

   version control for 'realizability of univalence'

   TeX

3. programming-with-dependent-types programming-with-dependent-types Public

   experimenting with applications of dependent type theories.

   Scala

4. DependencyCheck DependencyCheck Public

   Forked from jeremylong/DependencyCheck

   OWASP dependency-check is a utility that detects publicly disclosed vulnerabilities in application dependencies.

   HTML

5. resolvent-embeddings resolvent-embeddings Public

   Rewrite of resolvent embeddings

   TeX

6. midistuff midistuff Public

   Scala