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. flow flow Public

   Dataflow algorithm based on a worklist, with a functional Applicative interface

   Scala 3

5. bashPortalGun bashPortalGun Public

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

   Shell 5

6. asm2cfg asm2cfg Public

   Extracts and visualizes control flow graphs for assembly code.

   C 13 3