There are no reviews yet. Be the first to send feedback to the community and the maintainers!
groups
Group and Abelian group typeclassesfamily-tree
A family tree library for the Haskell programming languageproject-euler
Project Euler solutions in Agdanet
Toy neural net library in Haskellspriggan
A sprite-based game library for Haskellcountdown
Solver for the letters round on CountdownDominus
Battleships 2: Total Waraoc2018
Solutions to Advent of Code 2018Wordeger
Unbounded non-negative integer type for Haskellhs-dcpu
DCPU emulator in HaskellCOMPLEX
acme-onecheck
Very fast property testing librarytbh
Blog platform thingadvent-of-code
Solutions to the 2017 advent of codeaoc2020
LD29
Entry to Ludum Dare 29texteditor
regex
Regular expressions and finite state automata in AgdaBrainfuck
Brainfuck implementationSpirit
Like Djinn, but different. Original: https://gist.github.com/Barrucadu/6402042BattlePi
ecore2thrift
antlion
Agda Number Theory Library (Is Only the Name)failt
Monad transformer for MonadFail instanceBolt
FRP library inspired by (ripping off) netwire. Intended as a learning exercise for me.zombie-game
Zombie gamehed
An extensible line-oriented text editor written in HaskellAoC
Solutions for Advent of Code 2016primes
Properties of prime numbers in Agdamlp
Toy neural network libraryTwoChapssFight
Quickly made multiplayer fighting game written with Lua/Love2Draytracer
Ray-tracer in Haskell. Based on Ray Tracing on One Weekend but vector-space agnosticLove Open Source and this site? Check out how you can help us