liamoc/latex-formulae

Stars
54
Rank 544,902 (Top 11 %)
Language
Haskell
License
BSD 3-Clause "New...
Created about 9 years ago
Updated about 5 years ago

liamoc/latex-formulae

liamoc

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

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

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

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

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