Pinned Loading

1. libmdrsa libmdrsa Public

   A toy RSA implementation in C using Accelerate.framework

   C 4

2. system-lk system-lk Public

   A propositional theorem prover in Swift.

   Swift 4

3. ImageCompressionWithSVD ImageCompressionWithSVD Public

   An experiment in compressing images using Singular Value Decomposition.

   Swift 14

4. lampert lampert Public

   An implementation of the FOL minimization procedure described in Lampert (2017).

   Haskell

5. Logic Logic Public

   Forked from DAHeath/Logic

   Haskell

6. lc3-assembler lc3-assembler Public

   LC-3 Assembler in Swift

   Swift 1 1