asr

fotc

Agda formalisation of FOTC (First-Order Theory of Combinators).

dtfl

Agda code for the course 'Dependently Tped Functional Languages - 2011-1'

apia

Haskell program for proving first-order theorems written in Agda using automatic theorem provers for first-order logic

pdfname

Name a PDF file using information from the `pdfinfo` command

st0244-pl

alga

beamer

A LaTeX class for producing presentations and slides

CoCo

This is the CoCo Virtual Machine Source Code.

cook

The λ-calculus in Haskell in four different ways

eagda

Extended version of Agda in which we have added an ATP-pragma

edison

Edison: A Library of Efficient Data Structures

haskell-ci

Scripts and instructions for using CI services (e.g. Travis CI or Appveyor) with multiple GHC configurations

lambda-shell

A REPL for working with terms of the pure, untyped lambda calculus

language-dot

A library for the analysis and creation of Graphviz DOT files

latexEAFIT

lennart-lambda

Lennart Augustsson's lambda calculus cooked four ways

logic-cm0845

mira

A library for manipulating finite automata

my-agda

This isn't the "official" Agda repository. Please don't submit pull request.

my-agda-stdlib

This isn't the "official" Agda standard library repository. Please don't submit pull request.

online-atps

A Client for the TPTP World in Haskell

pdf-toolbox

A collection of tools for processing PDF files in Haskell

plfa.github.io

An introduction to programming language theory in Agda

pts-agda

A formalization of Pure Type Systems (PTS) in Agda

regex-tdfa-text

Fork of http://hub.darcs.net/shelarcy/regex-tdfa-text/

RegExpr

Another regular expression system is created

shellac

A library for constructing read-eval-print loops in a declarative manner

skiena-tadm

A collection of programs found in `The Algorithm Design Manual (2nd Edition) by Steven Skiena`

ST0244-2019-2-Practica

Enunciado de la práctica de lenguajes de programación

stackage

"Stable Hackage," tools for creating a vetted set of packages from Hackage.