kappanneo Goto Github PK

20cb

ad-hoc png-to-pdf converter for 20th Century Boys (requires scans from specific torrent file)

auth0-identicons

visual language for Identity

babalang

A Turing-complete, esoteric programming language based on the indie game Baba Is You

bfada

Brainfuck interpreter written in Ada

blahg

blah blah blah (a blog)

by-me

stuff i made

c4

C in four functions

circ-lang

aka circles

cv

my curriculum vitae

datx02

Kandidatarbete om natural deduction för propositional/first-order logic

euclideo

Solves diophantine equations.

fe

A tiny, embeddable language implemented in ANSI C

ffs

ffs foldr sucks

filosofika

Appunti di un caffè filosofico italo-svedese.

home

Dotfiles for Manjaro-i3.

identicons

go to https://github.com/identicons/<username>.png to recover github identicon

ieee

Decimal to IEEE-754 (16 bit) converter.

ilo-pali

ilo pali is a RISC V operating system featuring a microkernel.

kappanneo

stuff about me

kappanneo.github.io

klaus

probably the least serious Haskell library to solve Advent of Code problems

klib

Reinventing the wheel.

me-tadah

A minimal Python script to edit ebook metadata, supporting both .pdf and .epub

not-by-me

stuff i did not make myself

onecladrive

A local file storage server for linux. (OS course at my university)

ploctree-slides

pronomee

agender pronouns (proposal)

rts-notes

sawtooth-capbac

Sawtooth transaction family for Capability Based Access Control

sb

stateless browsing (tnx to mozzila firefox's containers) (wip) (future blog post)