Olavhaasie

Software Engineer @stcorp

@stcorp~

Pinned Repositories

tealdeer
A very fast implementation of tldr in Rust.
Language:Rust4.1k 18 144123
aoc-2021
Advent of Code 2021 solutions in the dependently typed functional programming language Idris2
Language:Idris0 1 00
coinget
**deprecated API (no longer works)** The fastest cli 💻 price checker for cryptocurrencies📈
Language:C26 2 10
goal-apl-vim
GOAL agent programming language syntax highlighting for vim
Language:Vim Script4 1 01
hoare-proof-outlines
Write readable Hoare style proof outlines for imperative programs in Agda.
Language:Agda1 1 00
jot
Terminal based digital personal journal 📔
Language:Rust2 1 00
lunch-list
A fast and simple web lunch attendance list 📝
Language:Rust0 1 00
sorts
Collection of sorting algorithms written in Rust
Language:Rust2 1 01
rust-rosetta
Implementing Rosetta Code problems in Rust.
Language:Rust714 21 65165
harp
Data harmonization toolset for scientific earth observation data
Language:C55 12 28718

Olavhaasie's Repositories

Olavhaasie/coinget
**deprecated API (no longer works)** The fastest cli 💻 price checker for cryptocurrencies📈
Language:C26 2 10
Olavhaasie/goal-apl-vim
GOAL agent programming language syntax highlighting for vim
Language:Vim Script4 1 01
Olavhaasie/jot
Terminal based digital personal journal 📔
Language:Rust2 1 00
Olavhaasie/sorts
Collection of sorting algorithms written in Rust
Language:Rust2 1 01
Olavhaasie/hoare-proof-outlines
Write readable Hoare style proof outlines for imperative programs in Agda.
Language:Agda1 1 00
Olavhaasie/aoc-2021
Advent of Code 2021 solutions in the dependently typed functional programming language Idris2
Language:Idris0 1 00
Olavhaasie/lunch-list
A fast and simple web lunch attendance list 📝
Language:Rust0 1 00