Popular repositories Loading

1. hol-c hol-c Public

   A proof-of-concept LCF-style interactive theorem prover for HOL(C)

   Scala 4 1

2. n-queens-with-lines n-queens-with-lines Public

   A toy repo to demonstrate to students the use of GitHub actions

   Java 1 1

3. martinberger.github.io martinberger.github.io Public

   HTML

4. pydrofoil pydrofoil Public

   Forked from pydrofoil/pydrofoil

   A fast RISC-V emulator based on the RISC-V Sail model, and an experimental ARM one

   C