caotic123 Goto Github PK

ane-language

A tool for analyze lambda calculus terms

basic-x

Interpreter of Esoteric Language Basic X a alternative version of Brainfuck

brainlambda

Yet a new form the describe brainfuck

buffer-promises

A simple library to provide a buffer for promises.

c-funny-trash-things

This repository almost work...almost fail.

c4

C in four functions

cedille-core

A minimal proof language.

church-encoding-dependent-typed

Proofs of correspondence church encoding in inductive data.

dedukti

Implementation of the λΠ-calculus modulo rewriting

dependent-vectors-but-without-tears

Because we don't want tears using dependent vectors

emonitor

Sistema de controle para monitores da UFVJM

finance

formalization-of-fundamental-theorem-of-arithmetic

Formalization of Fundamental Theorem of Arithmetic and Euclides Lemma

formalized-stlc

A small formalization of simply typed lambda calculus

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

grr-programming-language

Everything is a string but what the problem?

grr-repl

A REPL Online for Grr Language

halborn

A halborn coding test

ia-monkeys-agents

A new version of monkey vervets IA

intelligent-monkeys

A agents IA of Monkey Vervets

introducao-a-programacao-funcional-em-lua

kei

A small and expressive dependently typed language

kind

A modern proof language

lncs

Improved Lecture Notes in Computer Science (LNCS) template

logo-extractor

A smal algorithm to extract logos from html pages

magenta-languange

A experimental language that compiles to Clang LLVM

multi-agents-vervets

A lexical learning multi-agents system

pompom-language

The cuteness implementation of a dependently typed language.