Taneb

groups

Group and Abelian group typeclasses

project-euler

Project Euler solutions in Agda

antlion

Agda Number Theory Library (Is Only the Name)

aoc2020

primes

Properties of prime numbers in Agda

raytracer

Ray-tracer in Haskell. Based on Ray Tracing on One Weekend but vector-space agnostic

regex

Regular expressions and finite state automata in Agda

1lab

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

agda-categories

A new Categories library

agda-numbertheory

agda-stdlib

The Agda standard library

agda-unimath

Univalent mathematics in Agda

aoc2021

My solutions to the 2021 advent of code

categories-examples

Examples of categorical structures

claude

The CLAuDE model

conduit

A streaming data library

denotational-arithmetic-zurihac

domain-driven

exdetyprolan

Experminental dependently typed programming language

hacksoc.org

HackSoc website

home-manager

Manage a user environment using Nix [maintainer=@rycee]

hydra

Hydra, the Nix-based continuous build system

lens

Lenses, Folds, and Traversals - Join us on freenode #haskell-lens

lenstalk

Notebooks from a series of talks on the `lens` library

matrices

Matrices in Agda!

nixpkgs

Nix Packages collection

reals

Implementation of Cauchy real numbers in Agda

servant

Main repository for the servant libraries -- DSL for describing, serving, querying, mocking, documenting web applications and more!

servant-uverb

Multiple response statuses and bodies per route for servant.

zombiesplit

perhaps, eventually, an IGT split tracker