Pinned Repositories
acme-onecheck
Very fast property testing library
aoc2018
Solutions to Advent of Code 2018
COMPLEX
countdown
Solver for the letters round on Countdown
family-tree
A family tree library for the Haskell programming language
groups
Group and Abelian group typeclasses
net
Toy neural net library in Haskell
project-euler
Project Euler solutions in Agda
spriggan
A sprite-based game library for Haskell
Taneb's Repositories
Taneb/groups
Group and Abelian group typeclasses
Taneb/project-euler
Project Euler solutions in Agda
Taneb/antlion
Agda Number Theory Library (Is Only the Name)
Taneb/aoc2020
Taneb/primes
Properties of prime numbers in Agda
Taneb/raytracer
Ray-tracer in Haskell. Based on Ray Tracing on One Weekend but vector-space agnostic
Taneb/regex
Regular expressions and finite state automata in Agda
Taneb/1lab
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
Taneb/agda-categories
A new Categories library
Taneb/agda-numbertheory
Taneb/agda-stdlib
The Agda standard library
Taneb/agda-unimath
Univalent mathematics in Agda
Taneb/aoc2021
My solutions to the 2021 advent of code
Taneb/categories-examples
Examples of categorical structures
Taneb/claude
The CLAuDE model
Taneb/conduit
A streaming data library
Taneb/denotational-arithmetic-zurihac
Taneb/domain-driven
Taneb/exdetyprolan
Experminental dependently typed programming language
Taneb/hacksoc.org
HackSoc website
Taneb/home-manager
Manage a user environment using Nix [maintainer=@rycee]
Taneb/hydra
Hydra, the Nix-based continuous build system
Taneb/lens
Lenses, Folds, and Traversals - Join us on freenode #haskell-lens
Taneb/lenstalk
Notebooks from a series of talks on the `lens` library
Taneb/matrices
Matrices in Agda!
Taneb/nixpkgs
Nix Packages collection
Taneb/reals
Implementation of Cauchy real numbers in Agda
Taneb/rotating.directory
Taneb/servant-uverb
Multiple response statuses and bodies per route for servant.
Taneb/zombiesplit
perhaps, eventually, an IGT split tracker