Pinned Loading

1. ipc_stlc_curry_howard ipc_stlc_curry_howard Public

   Proof assistant for intuitionistic propositional logic that translates proofs into STLC programs via Curry-Howard iso.

   Scala 1

2. frosty frosty Public

   Prototype implementation of a programming language based on π-calculus

   Scala 1

3. bccc_morphism_construction bccc_morphism_construction Public

   EDSL for constructing canonical morphisms between hom-sets in bicartesian closed categories.

   Scala 1

4. bashPortalGun bashPortalGun Public

   Portal Gun implementation for the Bourne Again Shell. Allows you to move files between directories faster.

   Shell 5

5. asm2cfg asm2cfg Public

   Extracts and visualizes control flow graphs for assembly code.

   C 13 4