Pinned Loading

1. runtimeverification/k runtimeverification/k Public

   K Framework Tools 7.0

   Java 450 149

2. runtimeverification/riscv-semantics runtimeverification/riscv-semantics Public

   Python 2

3. Honors-Thesis Honors-Thesis Public

   A thesis submitted in fulfillment of a B.S. in Honors Computer Science

   TeX

4. hazelgrove/patterns-agda hazelgrove/patterns-agda Public

   A mechanization of "Pattern Matching with Typed Holes"

   Agda

5. PolySurfaces PolySurfaces Public

   A simple script to classify all homeomorphism classes of identification polygons with a given number of edges.

   Python