Beast code in Giters

Harold Vemeno's repositories

agda stuff

Language:AgdaGPL-3.0100

Faster integer division and modulus operations

Language:HaskellMIT100

Language:ShellGPL-3.0100

Config files for my GitHub profile.

100

a haskell project with some json parsers

Language:HaskellGPL-3.0100

Language:HaskellMIT100

A parser and reducer for lambda calculus written in rust

Language:Rust100

Naučte se Vařejkovu bilogii!

Language:HTML000

see above

Language:C++000

Language:CoqGPL-3.0000

Bridge the gap between Haskell and Rust

Apache-2.0000

Practical, accessible setups powered by Hyprland and Eww!

GPL-3.0000

HoTTEST Summer School materials

Language:HTML000

Language:TeX000