Tiago Campos's repositories
PomPom-Language
The cuteness implementation of a dependently typed language.
C-funny-trash-things
This repository almost work...almost fail.
Ane-Language
A tool for analyze lambda calculus terms
Grr-Programming-Language
Everything is a string but what the problem?
BrainLambda
Yet a new form the describe brainfuck
Formalized-STLC
A small formalization of simply typed lambda calculus
Dependent-vectors-but-without-tears
Because we don't want tears using dependent vectors
Formalization-of-Fundamental-Theorem-of-Arithmetic
Formalization of Fundamental Theorem of Arithmetic and Euclides Lemma
_-Language-Iota-Combinator-
A minialist language that uses only one combinator.
Buffer-Promises
A simple library to provide a buffer for promises.
Cedille-Core
A minimal proof language.
Church-encoding-dependent-typed
Proofs of correspondence church encoding in inductive data.
Formalizing-Intelligent-agents
Towards to a framework to reason about multi-agent sytem
FormCoreJS
A minimal pure functional language based on self dependent types.
Fun-axioms-experiments
Deciding about types cardinality using axioms
Logo-extractor
A smal algorithm to extract logos from html pages
Multi-Agents-Vervets
A lexical learning multi-agents system
Small-Graph-Library
A Small Graph Library in Coq
Some-typed-fun-things
Types things, formals proofs and my sadness here
stalin-sort
Add a stalin sort algorithm in any language you like ❣️ if you like give us a ⭐️
tiagocampos
My personal website