-
hoare-proof-outlines Public
Write readable Hoare style proof outlines for imperative programs in Agda.
-
aoc-2021 Public archive
Advent of Code 2021 solutions in the dependently typed functional programming language Idris2
Idris MIT License UpdatedDec 25, 2021 -
lunch-list Public archive
A fast and simple web lunch attendance list 📝
-
sorts Public
Collection of sorting algorithms written in Rust
-
jot Public
Terminal based digital personal journal 📔
-
coinget Public archive
**deprecated API (no longer works)** The fastest cli 💻 price checker for cryptocurrencies📈
-
goal-apl-vim Public archive
GOAL agent programming language syntax highlighting for vim