Tiago Campos (@caotic123)
github

caotic123

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    337
  • Global Rank 79,398 (Top 3 %)
  • Followers 72
  • Following 64
  • Registered almost 8 years ago
  • Most used languages
    Haskell
         30.0 %
    Coq     30.0 %
    Lua
         10.0 %
    C
         10.0 %
    Scheme
         10.0 %
    C++
         10.0 %
  • Location 🇧🇷 Brazil
  • Country Total Rank 1,132
  • Country Ranking
    Haskell
         3
    Coq     5
    Scheme
         20
    Lua
         430
    C
         798
    C++
         3,727

Top repositories

1

PomPom-Language

The cuteness implementation of a dependently typed language.
Haskell
186
star
2

Kei

A small and expressive dependently typed language
Haskell
127
star
3

C-funny-trash-things

This repository almost work...almost fail.
C
7
star
4

Ane-Language

A tool for analyze lambda calculus terms
Haskell
6
star
5

Grr-Programming-Language

Everything is a string but what the problem?
Lua
3
star
6

Formalized-STLC

A small formalization of simply typed lambda calculus
Coq
2
star
7

BrainLambda

Yet a new form the describe brainfuck
Scheme
2
star
8

Magenta-Languange

A experimental language that compiles to Clang LLVM
C++
1
star
9

Introducao-a-programacao-funcional-em-Lua

1
star
10

Dependent-vectors-but-without-tears

Because we don't want tears using dependent vectors
Coq
1
star
11

Formalization-of-Fundamental-Theorem-of-Arithmetic

Formalization of Fundamental Theorem of Arithmetic and Euclides Lemma
Coq
1
star