liamoc/agda-snippets liamoc/agda-snippets

  • Stars
    star
    8
  • Rank 2,099,232 (Top 42 %)
  • Language
    Haskell
  • License
    Other
  • Created about 9 years ago
  • Updated about 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
liamoc/agda-snippets
github

liamoc

Reviews

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

Repository Details

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

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

dixi

A wiki based on firm theoretical foundations
Haskell
52
star
6

wizards

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

hilbert

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

desktop_games

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

dddp

Deferring the Details and Deriving Programs
TeX
14
star
10

pongell

crappy pong clone written in haskell
9
star
11

composition-tree

Composition trees for arbitrary monoids.
Haskell
9
star
12

gentzen

A beginner's theorem prover
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