caotic123

Trying a new way to do the same thing

UFVJM - Universidade do Vale do Jequitinhonha e Mucuri.Belo Horizonte - MG

Pinned Repositories

Ane-Language
A tool for analyze lambda calculus terms
Language:Haskell6 1 00
BrainLambda
Yet a new form the describe brainfuck
Language:Scheme2 1 00
C-funny-trash-things
This repository almost work...almost fail.
Language:C7 1 00
Formalization-of-Fundamental-Theorem-of-Arithmetic
Formalization of Fundamental Theorem of Arithmetic and Euclides Lemma
Language:Coq1 2 00
Formalized-STLC
A small formalization of simply typed lambda calculus
Language:Coq2 2 00
Grr-Programming-Language
Everything is a string but what the problem?
Language:Lua3 2 00
Kei
A small and expressive dependently typed language
Language:Haskell129 6 13
PomPom-Language
The cuteness implementation of a dependently typed language.
Language:Haskell188 4 06
Skear
A (ongoing) social language learning app written in react-native.
Language:JavaScript0 2 00
Kind
A modern proof language
Language:Haskell3.6k 73 216142

caotic123's Repositories

caotic123/PomPom-Language
The cuteness implementation of a dependently typed language.
Language:Haskell188 4 06
caotic123/Kei
A small and expressive dependently typed language
Language:Haskell129 6 13
caotic123/C-funny-trash-things
This repository almost work...almost fail.
Language:C7 1 00
caotic123/Ane-Language
A tool for analyze lambda calculus terms
Language:Haskell6 1 00
caotic123/Grr-Programming-Language
Everything is a string but what the problem?
Language:Lua3 2 00
caotic123/BrainLambda
Yet a new form the describe brainfuck
Language:Scheme2 1 00
caotic123/Formalized-STLC
A small formalization of simply typed lambda calculus
Language:Coq2 2 00
caotic123/Dependent-vectors-but-without-tears
Because we don't want tears using dependent vectors
Language:Coq1 2 0
caotic123/Formalization-of-Fundamental-Theorem-of-Arithmetic
Formalization of Fundamental Theorem of Arithmetic and Euclides Lemma
Language:Coq1 2 00
caotic123/Skear
A (ongoing) social language learning app written in react-native.
Language:JavaScript0 2 00
caotic123/_-Language-Iota-Combinator-
A minialist language that uses only one combinator.
Language:Idris1 01
caotic123/Buffer-Promises
A simple library to provide a buffer for promises.
Language:JavaScript2 0
caotic123/carcara
Language:Rust0 0
caotic123/Cedille-Core
A minimal proof language.
Language:JavaScript1 0
caotic123/Church-encoding-dependent-typed
Proofs of correspondence church encoding in inductive data.
Language:Coq1 0
caotic123/Dedukti
Implementation of the λΠ-calculus modulo rewriting
Language:OCaml1 0
caotic123/eMonitor
Sistema de controle para monitores da UFVJM
Language:CSS1 0
caotic123/Finance
Language:JavaScript2 0
caotic123/Formalizing-Intelligent-agents
Towards to a framework to reason about multi-agent sytem
Language:Coq2 0
caotic123/FormCoreJS
A minimal pure functional language based on self dependent types.
Language:JavaScript1 0
caotic123/Fun-axioms-experiments
Deciding about types cardinality using axioms
Language:Coq2 0
caotic123/Halborn
A halborn coding test
Language:TypeScript2 0
caotic123/Kind
A modern proof language
Language:JavaScript1 0
caotic123/LNCS
Improved Lecture Notes in Computer Science (LNCS) template
Language:TeX1 0
caotic123/Logo-extractor
A smal algorithm to extract logos from html pages
Language:Haskell2 0
caotic123/Multi-Agents-Vervets
A lexical learning multi-agents system
Language:Haskell1 0
caotic123/Small-Graph-Library
A Small Graph Library in Coq
Language:Coq2 0
caotic123/Some-typed-fun-things
Types things, formals proofs and my sadness here
Language:Coq1 0
caotic123/stalin-sort
Add a stalin sort algorithm in any language you like ❣️ if you like give us a ⭐️
Language:Java1 0
caotic123/tiagocampos
My personal website
Language:HTML2 0