liamoc/dixi liamoc/dixi

  • Stars
    star
    52
  • Rank 560,474 (Top 12 %)
  • Language
    Haskell
  • License
    BSD 3-Clause "New...
  • Created about 9 years ago
  • Updated over 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
liamoc/dixi
github

liamoc

Reviews

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

Repository Details

A wiki based on firm theoretical foundations

More Repositories

1

learn-you-an-agda

Learn you an Agda (and achieve enlightenment)
Agda
310
star
2

holbert

A graphical interactive proof assistant designed for education
Haskell
158
star
3

patches-vector

A library for patches (diffs) on vectors: composable, mergeable and invertible
Haskell
55
star
4

latex-formulae

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

wizards

High level, generic library for interrogative user interfaces in Haskell
Haskell
41
star
6

hilbert

An intensely interactive, graphical theorem prover based on natural deduction
Haskell
30
star
7

desktop_games

a collection of desktop games written in rust
Rust
19
star
8

dddp

Deferring the Details and Deriving Programs
TeX
14
star
9

pongell

crappy pong clone written in haskell
9
star
10

composition-tree

Composition trees for arbitrary monoids.
Haskell
9
star
11

gentzen

A beginner's theorem prover
Haskell
8
star
12

agda-snippets

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

tesserae

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

outside-in

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

opardum-server

operational transforms based collaborative editing server written all in literate haskell
JavaScript
7
star
16

tea-hs

2d game creation library for Haskell
Haskell
6
star
17

me-em

Model Examples, Example Models
Agda
6
star
18

standard

Sphere Standard Engine
4
star
19

spacemacs-agda

A little agda layer for spacemacs
Emacs Lisp
4
star
20

liamoc.net

my gnu-make-powered website
TeX
4
star
21

pl-course-book

A book based on course notes written over the years for a UNSW PL course
TeX
3
star
22

pretty-show-ansi-wl

Pretty-show, but for ansi-wl-pprint
Haskell
2
star
23

gameupdater_client

Client for GameUpdater
2
star
24

botz-rs

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

sfont-hs

Haskell port of the SFont Library
Haskell
2
star
26

sprig-hs

SDL Primitive Generator bindings to Haskell
Haskell
2
star
27

gameupdater_server

Server for GameUpdater
2
star
28

6502_mep

Micro Entertainment Pack games for 6502 systems
Assembly
2
star
29

elm-redex

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

generators

composable monadic random value generators
Haskell
2
star
31

rust-tetris

A small tetris clone in Rust
Rust
1
star
32

geordi

Well-typed, minimalist web-framework for GHC Haskell
Haskell
1
star