Discover @Taneb Open Source projects

Nathan van Doorn (@Taneb)

Taneb

Stars
66
Global Rank 280,620 (Top 10 %)
Followers 70
Following 55
Registered over 12 years ago
Most used languages

Haskell
75.8 %

Agda 12.1 %

Lua
3.0 %

Python
3.0 %

Java
3.0 %

Rust
3.0 %
Location 🇮🇹 Italy
Country Total Rank 2,466
Country Ranking

Agda 1

Haskell
7

Lua
271

Rust
422

Java
2,371

Python
3,594

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

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