Paulo Torrens

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

Results 4 repositories owned by Paulo Torrens

ANSI-ISO-C-Exception-Handling

29
Stars
3
Forks
Watchers

A fully complete and functional exception handling library written in ANSI/ISO C.

verified publisher icon takanuva

arduino-makefile

44
Stars
19
Forks
Watchers

An alternative to the Arduino IDE's bulding/uploading, using a gnu-make.

verified publisher icon takanuva

coc

17
Stars
0
Forks
Watchers

Calculus of Constructions

verified publisher icon takanuva

cps

37
Stars
0
Forks
Watchers

A formalization of continuation-passing style calculi in Coq [WIP]

verified publisher icon takanuva