Pinned Loading

1. simples simples Public

   A tiny event sourcing database

   Rust 6

2. parse-cc-cedict parse-cc-cedict Public

   TypeScript 5

3. sudoku-solver sudoku-solver Public

   A sudoku solver webapp using custom elements

   TypeScript 4 1

4. base64 base64 Public

   Tiny base64 encoder/decoder

   C 3 1

5. ecdsa ecdsa Public

   Elliptic Curve Digital Signature Algorithm in Haskell

   Haskell 2

6. Proof that matrix transpose is an in... Proof that matrix transpose is an involution.

   1

   module test where

   2

   3

   open import Relation.Binary.PropositionalEquality

   4

   open import Data.Nat

   5