This is your work, valued

Belo Horizonte - MG

Tiago Campos

Advanced
@caotic123

Trying a new way to do the same thing

PomPom-Language. The cuteness implementation of a dependently typed language.

193

Kei. A small and expressive dependently typed language

129

C-funny-trash-things. This repository almost work...almost fail.

7

Ane-Language. A tool for analyze lambda calculus terms

6

Grr-Programming-Language. Everything is a string but what the problem?

3

BrainLambda. Yet a new form the describe brainfuck

2

Formalized-STLC. A small formalization of simply typed lambda calculus

2

Formalization-of-Fundamental-Theorem-of-Arithmetic. Formalization of Fundamental Theorem of Arithmetic and Euclides Lemma

1

Dependent-vectors-but-without-tears. Because we don't want tears using dependent vectors

1

SAT-IN-COQ. A formalization of a SAT solver in Coq with famous algorithms

1

Introducao-a-programacao-funcional-em-Lua.

1

Magenta-Languange. A experimental language that compiles to Clang LLVM

1