liamoc/pl-course-book

Stars
3
Rank 3,963,521 (Top 79 %)
Language
TeX
Created over 10 years ago
Updated over 10 years ago

liamoc/pl-course-book

liamoc

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

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

learn-you-an-agda

Learn you an Agda (and achieve enlightenment)

holbert

A graphical interactive proof assistant designed for education

patches-vector

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

latex-formulae

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

dixi

A wiki based on firm theoretical foundations

wizards

High level, generic library for interrogative user interfaces in Haskell

hilbert

An intensely interactive, graphical theorem prover based on natural deduction

desktop_games

a collection of desktop games written in rust

dddp

Deferring the Details and Deriving Programs

pongell

crappy pong clone written in haskell

composition-tree

Composition trees for arbitrary monoids.

gentzen

A beginner's theorem prover

agda-snippets

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

tesserae

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

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

tea-hs

2d game creation library for Haskell

me-em

Model Examples, Example Models

standard

Sphere Standard Engine

spacemacs-agda

A little agda layer for spacemacs

liamoc.net

my gnu-make-powered website

pretty-show-ansi-wl

Pretty-show, but for ansi-wl-pprint

gameupdater_client

Client for GameUpdater

botz-rs

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

sfont-hs

Haskell port of the SFont Library

sprig-hs

SDL Primitive Generator bindings to Haskell

gameupdater_server

Server for GameUpdater

6502_mep

Micro Entertainment Pack games for 6502 systems

elm-redex

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

generators

composable monadic random value generators

rust-tetris

A small tetris clone in Rust

geordi

Well-typed, minimalist web-framework for GHC Haskell