taneb Goto Github PK

1lab

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

acme-onecheck

Very fast property testing library

advent-of-code

Solutions to the 2017 advent of code

aeson-lens

Lens of Aeson

agda-categories

A new Categories library

agda-numbertheory

agda-stdlib

The Agda standard library

agda-unimath

Univalent mathematics in Agda

agdacbuzz

A Fizzbuzz program written in Agda and C

antlion

Agda Number Theory Library (Is Only the Name)

aoc

Solutions for Advent of Code 2016

aoc2018

Solutions to Advent of Code 2018

aoc2019

My solutions from Advent of Code 2019

aoc2020

aoc2021

My solutions to the 2021 advent of code

arithmoi

arithmoi is currently maintained here

assoc

swap and assoc: Symmetric and Semigroupy Bifunctors

authenticate

Authentication methods for Haskell web applications.

badbuzz

A collection of the worst FizzBuzzes you can write

battlepi

bin2tap

Takes binary files, puts them in .tap files, for loading into zx spectrum emulators, or to convert to audio to play in a real spectrum

binary

Efficient, pure binary serialisation using ByteStrings in Haskell.

blottleshipsserver

A server for Blottleships written in Haskell

bolt

FRP library inspired by (ripping off) netwire. Intended as a learning exercise for me.

brainfuck

Brainfuck implementation

categories

Categorical definitions in Agda

categories-examples

Examples of categorical structures

cborg

Binary serialisation in the CBOR format

clash-compiler

CAES Language for Synchronous Hardware

claude

The CLAuDE model