yo-irne

Pinned Repositories

awesome
My poor but good for now awesome config (rc.lua & theme.lua)
Language:Lua00
BFS
bfs in <3 ansi c <3
Language:C0 1 00
Bin-Search-Tree
Language:C00
directed-clique
Language:Python00
flow-network
Language:C00
lean
Me learning lean lol
Language:Lean0 1 00
Minecraft-Manhunt-Plugin
Language:Kotlin00
mp-stuff
Language:Racket00
nifs3-konkurs
Plotting some text using normalised interpolating functions of degree 3 (probably that is not their proper name in english but who cares)
Language:Python00
polybar
My polybar config not fully working in some aspects but usable, and the work's indeed in progress
10

yo-irne's Repositories

yo-irne/polybar
My polybar config not fully working in some aspects but usable, and the work's indeed in progress
10
yo-irne/awesome
My poor but good for now awesome config (rc.lua & theme.lua)
Language:Lua00
yo-irne/BFS
bfs in <3 ansi c <3
Language:C0 1 00
yo-irne/Bin-Search-Tree
Language:C00
yo-irne/directed-clique
Language:Python00
yo-irne/flow-network
Language:C00
yo-irne/lean
Me learning lean lol
Language:Lean0 1 00
yo-irne/Minecraft-Manhunt-Plugin
Language:Kotlin00
yo-irne/mp-stuff
Language:Racket00
yo-irne/nifs3-konkurs
Plotting some text using normalised interpolating functions of degree 3 (probably that is not their proper name in english but who cares)
Language:Python00
yo-irne/proof-assistant
More like proof checker, but works.
Language:OCaml1 0
yo-irne/quicksort17ff
fork from j-michaliszyn prolog quicksort