📦 Natural Language Theorem Prover built on Dependent Type Theory (Agda) and Symbolic NLP (Lambeq), awarded Best Group Dissertation at University of Nottingham.

lambda calculus interpreter

Formalization of the Montague Test Sentences in Agda-flat

A decompilation of Pikmin 2 (USA) brought to you by fans of the series.

A mod to allow customizing the cast of characters in the game Gnosia

Basics of the dependently-typed functional language Agda ^_^

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

This is a repository created for the list of resources for learning and exploring Wonderful Polish language.

This is the repository for code related to Programming Languages Research.

rhythm is just a *click* away!

Minha página acadêmica

Build, test, and simulate automata.

An introduction to programming language theory in Agda

Dicionário bilíngue do português brasileiro para o okinawano implementado em um sistema de busca com informações de entonação, verbete e classe gramatical

A free book: "The Science of Functional Programming"

Introdução à Teoria das Linguagens Formais em Ruby

Processamento sintático em DCG implementado em Prolog para regras de produção do português brasileiro

A purely functional programming language with first class types

A statically-typed linear functional language with graded modal types for fine-grained program reasoning

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…

Experimentation project

ECMAScript back end for Functional Reactive Programming in Agda

The Agda standard library

A browser Pong game, taking advantage of Idris's ability to compile to javascript.

This repository has moved to https://gitlab.com/joaopizani/piware

This repository has moved to https://gitlab.com/joaopizani/piware-agda

A self-contained repo for the ILLWiL paper

Implementing grep in Agda