Beast code in Giters

Irne's repositories

My polybar config not fully working in some aspects but usable, and the work's indeed in progress

100

My poor but good for now awesome config (rc.lua & theme.lua)

Language:Lua000

bfs in <3 ansi c <3

Language:C000

Language:C000

Language:Python000

Language:C000

Me learning lean lol

Language:Lean000

Language:Kotlin000

Language:Racket000

Plotting some text using normalised interpolating functions of degree 3 (probably that is not their proper name in english but who cares)

Language:Python000

More like proof checker, but works.

Language:OCaml000

fork from j-michaliszyn prolog quicksort

GPL-3.0000