Olavhaasie

Olav de Haas's repositories

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

Language:CMIT26 2 1

GOAL agent programming language syntax highlighting for vim

Language:Vim script4 10

Terminal based digital personal journal 📔

Language:RustMIT2 10

Collection of sorting algorithms written in Rust

Language:RustMIT2 10

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

Language:Agda1 10

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

Language:IdrisMIT010

A fast and simple web lunch attendance list 📝

Language:RustApache-2.0010