asr Goto Github PK

martin-lof

papers of Per Martin Löf

milewski-ctfp-pdf

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

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

pdfinfo

Simple pdfinfo wrapper

pdfname

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

plfa.github.io

An introduction to programming language theory in Agda

pract-inv

pts-agda

A formalization of Pure Type Systems (PTS) in Agda

pygments-custom-agda

This is a plugin for the Agda Lexer of Pygments

qio-agda

The Quantum IO Monad, implemented in Agda

qio-haskell

The Quantum IO Monad, implemented in Haskell

real-numbers-formalisation

regex-tdfa-text

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

regexpr

Another regular expression system is created

s-email

setform

Set Theory Formalization in Agda

skiena-tadm

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

smtlib

Parser for smt-lib Command responses

st0244-2019-2-practica

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

st0244-pl

stackage

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

streams

Haskell 2010 stream comonads

tm-coinduction

typetopology

Logical manifestations of topological concepts, and other things. This version adopts the univalent point of view.