takanuva

Shame on me, shame on me, I'm a tool and nothing more.

Pinned Repositories

ANSI-ISO-C-Exception-Handling
A fully complete and functional exception handling library written in ANSI/ISO C.
Language:C28 3 03
arduino-makefile
An alternative to the Arduino IDE's bulding/uploading, using a gnu-make.
Language:C43 4 119
coc
Calculus of Constructions
Language:Coq16 1 00
cps
A formalization of continuation-passing style calculi in Coq [WIP]
Language:Coq36 1 00
pap
Material para a aula de PAP (2019-02)
Language:Haskell6 1 00
tangoxpm
Default Tango! icons as XPM
4 1 01
yak
A programmer's swiss army knife aimed to be clean and synctatically correct.
Language:Java8 4 12

takanuva's Repositories

takanuva/arduino-makefile
An alternative to the Arduino IDE's bulding/uploading, using a gnu-make.
Language:C43 4 119
takanuva/cps
A formalization of continuation-passing style calculi in Coq [WIP]
Language:Coq36 1 00
takanuva/ANSI-ISO-C-Exception-Handling
A fully complete and functional exception handling library written in ANSI/ISO C.
Language:C28 3 03
takanuva/coc
Calculus of Constructions
Language:Coq16 1 00
takanuva/yak
A programmer's swiss army knife aimed to be clean and synctatically correct.
Language:Java8 4 12
takanuva/pap
Material para a aula de PAP (2019-02)
Language:Haskell6 1 00
takanuva/tangoxpm
Default Tango! icons as XPM
4 1 01
takanuva/takanuva
1 0 0