Popular repositories Loading

1. HTPILeanPackage HTPILeanPackage Public

   Forked from djvelleman/HTPILeanPackage

   Lean

2. baby-l4 baby-l4 Public

   Forked from smucclaw/baby-l4

   A miniature version of the l4 language

   Grammatical Framework

3. ocluster ocluster Public

   Forked from ocurrent/ocluster

   Distribute CI builds to worker nodes over Cap'n Proto

   OCaml

4. ansible ansible Public

   Forked from mtelvers/ansible

   Common Lisp

5. srcf-web srcf-web Public

   Forked from SRCF/srcf-web

   Content for the SRCF's main website.

   HTML

6. ocfweb ocfweb Public

   Forked from ocf/ocfweb

   The main ocf website

   Python