Taneb/antlion

Stars
1
Language Agda
License
MIT License
Created about 4 years ago
Updated about 4 years ago

Taneb/antlion

Taneb

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

Agda Number Theory Library (Is Only the Name)

groups

Group and Abelian group typeclasses

family-tree

A family tree library for the Haskell programming language

project-euler

Project Euler solutions in Agda

net

Toy neural net library in Haskell

spriggan

A sprite-based game library for Haskell

countdown

Solver for the letters round on Countdown

Dominus

Battleships 2: Total War

aoc2018

Solutions to Advent of Code 2018

Wordeger

Unbounded non-negative integer type for Haskell

hs-dcpu

DCPU emulator in Haskell

COMPLEX

acme-onecheck

Very fast property testing library

tbh

Blog platform thing

advent-of-code

Solutions to the 2017 advent of code

aoc2020

LD29

Entry to Ludum Dare 29

texteditor

regex

Regular expressions and finite state automata in Agda

Brainfuck

Brainfuck implementation

Spirit

Like Djinn, but different. Original: https://gist.github.com/Barrucadu/6402042

BattlePi

ecore2thrift

webqueues

A simple web server mapping UUIDs to queues, allowing enqueueing with POST, dequeueing with GET, and deletion with DELETE

failt

Monad transformer for MonadFail instance

Bolt

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

zombie-game

hed

An extensible line-oriented text editor written in Haskell

AoC

Solutions for Advent of Code 2016

primes

Properties of prime numbers in Agda

mlp

Toy neural network library

TwoChapssFight

Quickly made multiplayer fighting game written with Lua/Love2D

raytracer

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