liamoc/learn-you-an-agda

This repository has been archived on 18/May/2021
Stars
310
Rank 134,926 (Top 3 %)
Language Agda
License
BSD 3-Clause "New...
Created almost 14 years ago
Updated almost 7 years ago

liamoc

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Learn you an Agda (and achieve enlightenment)

Learn You An Agda (and achieve enlightenment)

This is a work in progress tutorial for Agda. The markdown files are not meant to be consumed by GitHub.

holbert

A graphical interactive proof assistant designed for education

Haskell

158

patches-vector

A library for patches (diffs) on vectors: composable, mergeable and invertible

Haskell

latex-formulae

Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyll

Haskell

dixi

A wiki based on firm theoretical foundations

Haskell

wizards

High level, generic library for interrogative user interfaces in Haskell

Haskell

hilbert

An intensely interactive, graphical theorem prover based on natural deduction

Haskell

desktop_games

a collection of desktop games written in rust

Rust

dddp

Deferring the Details and Deriving Programs

TeX

pongell

crappy pong clone written in haskell

composition-tree

Composition trees for arbitrary monoids.

Haskell

gentzen

A beginner's theorem prover

Haskell

agda-snippets

Library and tool to render the snippets in literate Agda files to hyperlinked HTML, leaving the rest of the text untouched.

Haskell

tesserae

A library for manipulating 8x8 2-color tile graphics in the spirit of 8-bit text mode drawing.

Rust

outside-in

Formalisation of The GHC Team's OutsideIn(X) in Agda.

opardum-server

operational transforms based collaborative editing server written all in literate haskell

JavaScript

tea-hs

2d game creation library for Haskell

Haskell

me-em

Model Examples, Example Models

Agda

standard

Sphere Standard Engine

spacemacs-agda

A little agda layer for spacemacs

Emacs Lisp

liamoc.net

my gnu-make-powered website

TeX

pl-course-book

A book based on course notes written over the years for a UNSW PL course

TeX

pretty-show-ansi-wl

Pretty-show, but for ansi-wl-pprint

Haskell

gameupdater_client

Client for GameUpdater

botz-rs

a port of Kevin Laity's classic physics toy to Rust and egui

Rust

sfont-hs

Haskell port of the SFont Library

Haskell

sprig-hs

SDL Primitive Generator bindings to Haskell

Haskell

gameupdater_server

Server for GameUpdater

6502_mep

Micro Entertainment Pack games for 6502 systems

Assembly

elm-redex

An 8-hour project, writing an interactive untyped lambda calculus interpreter/rewriter in elm.

JavaScript

generators

composable monadic random value generators

Haskell

rust-tetris

A small tetris clone in Rust

Rust

geordi

Well-typed, minimalist web-framework for GHC Haskell

Haskell

liamoc/learn-you-an-agda

liamoc

Reviews

Repository Details

Learn You An Agda (and achieve enlightenment)

More Repositories