liamoc/outside-in

Stars
8
Rank 2,099,232 (Top 42 %)
Language
License
BSD 3-Clause "New...
Created over 12 years ago
Updated almost 12 years ago

liamoc/outside-in

liamoc

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

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

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.

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

pl-course-book

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

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