Pinned Loading

1. hoare-proof-outlines hoare-proof-outlines Public

   Write readable Hoare style proof outlines for imperative programs in Agda.

   Agda 1

2. aoc-2021 aoc-2021 Public archive

   Advent of Code 2021 solutions in the dependently typed functional programming language Idris2

   Idris

3. jot jot Public

   Terminal based digital personal journal 📔

   Rust 2

4. coinget coinget Public archive

   **deprecated API (no longer works)** The fastest cli 💻 price checker for cryptocurrencies📈

   C 26