Taneb/primes

Stars
1
Language Agda
Created almost 3 years ago
Updated over 1 year ago

Taneb/primes

Taneb

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

Properties of prime numbers in Agda

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

antlion

Agda Number Theory Library (Is Only the Name)

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

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