Pinned Repositories
AFL
agda-kanso
Agda is a dependently typed programming language / interactive theorem prover.
agda-metis
Metis Prover Reasoning for Propositional Logic in Agda
agda-prop
A Library for Classical Propositional Logic in Agda
apia
Haskell program for proving first-order theorems written in Agda using automatic theorem provers for first-order logic
dtfl
Agda code for the course 'Dependently Tped Functional Languages - 2011-1'
fotc
Agda formalisation of FOTC (First-Order Theory of Combinators).
pdfname
Name a PDF file using information from the `pdfinfo` command
st0244-pl
tm-coinduction
asr's Repositories
asr/fotc
Agda formalisation of FOTC (First-Order Theory of Combinators).
asr/apia
Haskell program for proving first-order theorems written in Agda using automatic theorem provers for first-order logic
asr/dtfl
Agda code for the course 'Dependently Tped Functional Languages - 2011-1'
asr/pdfname
Name a PDF file using information from the `pdfinfo` command
asr/st0244-pl
asr/logic-cm0845
asr/alga
asr/asr.github.io
My home page
asr/beamer
A LaTeX class for producing presentations and slides
asr/CoCo
This is the CoCo Virtual Machine Source Code.
asr/cook
The λ-calculus in Haskell in four different ways
asr/eagda
Extended version of Agda in which we have added an ATP-pragma
asr/edison
Edison: A Library of Efficient Data Structures
asr/haskell-ci
Scripts and instructions for using CI services (e.g. Travis CI or Appveyor) with multiple GHC configurations
asr/lambda-shell
A REPL for working with terms of the pure, untyped lambda calculus
asr/language-dot
A library for the analysis and creation of Graphviz DOT files
asr/lennart-lambda
Lennart Augustsson's lambda calculus cooked four ways
asr/mira
A library for manipulating finite automata
asr/my-agda
This isn't the "official" Agda repository. Please don't submit pull request.
asr/my-agda-stdlib
This isn't the "official" Agda standard library repository. Please don't submit pull request.
asr/online-atps
A Client for the TPTP World in Haskell
asr/pdf-toolbox
A collection of tools for processing PDF files in Haskell
asr/plfa.github.io
An introduction to programming language theory in Agda
asr/pts-agda
A formalization of Pure Type Systems (PTS) in Agda
asr/regex-tdfa-text
Fork of http://hub.darcs.net/shelarcy/regex-tdfa-text/
asr/RegExpr
Another regular expression system is created
asr/shellac
A library for constructing read-eval-print loops in a declarative manner
asr/skiena-tadm
A collection of programs found in `The Algorithm Design Manual (2nd Edition) by Steven Skiena`
asr/ST0244-2019-2-Practica
Enunciado de la práctica de lenguajes de programación
asr/stackage
"Stable Hackage," tools for creating a vetted set of packages from Hackage.