Sofia Rodrigues

algebraic.dev [email protected]

I work for @leanprover, I love this language :P

Results 3 repositories owned by


                                            Sofia Rodrigues

Ednaldo

37

Stars

2

Forks

Watchers

Javascript Interpreter for Ednaldo Language

Idris2Noobs

35

Stars

2

Forks

Watchers

Idris2 para falantes de portugues.

UwU

15

Stars

2

Forks

Watchers

My UwU awesome config