Taneb/advent-of-code Taneb/advent-of-code

  • Stars
    star
    1
  • Language
    Haskell
  • Created almost 7 years ago
  • Updated almost 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Taneb/advent-of-code
github

Taneb

Reviews

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

Repository Details

Solutions to the 2017 advent of code

More Repositories

1

groups

Group and Abelian group typeclasses
Haskell
9
star
2

family-tree

A family tree library for the Haskell programming language
Haskell
8
star
3

project-euler

Project Euler solutions in Agda
Agda
6
star
4

net

Toy neural net library in Haskell
Haskell
4
star
5

spriggan

A sprite-based game library for Haskell
Haskell
4
star
6

countdown

Solver for the letters round on Countdown
Haskell
2
star
7

Dominus

Battleships 2: Total War
Python
2
star
8

aoc2018

Solutions to Advent of Code 2018
Haskell
2
star
9

Wordeger

Unbounded non-negative integer type for Haskell
Haskell
2
star
10

hs-dcpu

DCPU emulator in Haskell
Haskell
2
star
11

COMPLEX

Haskell
2
star
12

acme-onecheck

Very fast property testing library
Haskell
2
star
13

tbh

Blog platform thing
Haskell
1
star
14

aoc2020

Haskell
1
star
15

LD29

Entry to Ludum Dare 29
Haskell
1
star
16

texteditor

Haskell
1
star
17

regex

Regular expressions and finite state automata in Agda
Agda
1
star
18

Brainfuck

Brainfuck implementation
Haskell
1
star
19

Spirit

Like Djinn, but different. Original: https://gist.github.com/Barrucadu/6402042
Haskell
1
star
20

BattlePi

Haskell
1
star
21

ecore2thrift

Java
1
star
22

zombie-game

Zombie game
Haskell
1
star
23

antlion

Agda Number Theory Library (Is Only the Name)
Agda
1
star
24

webqueues

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

failt

Monad transformer for MonadFail instance
Haskell
1
star
26

Bolt

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

hed

An extensible line-oriented text editor written in Haskell
Haskell
1
star
28

AoC

Solutions for Advent of Code 2016
Rust
1
star
29

primes

Properties of prime numbers in Agda
Agda
1
star
30

mlp

Toy neural network library
Haskell
1
star
31

TwoChapssFight

Quickly made multiplayer fighting game written with Lua/Love2D
Lua
1
star
32

raytracer

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