tsani/tetrefis

Stars
53
Rank 552,529 (Top 11 %)
Language
C
License
GNU General Publi...
Created almost 6 years ago
Updated over 2 years ago

tsani/tetrefis

tsani

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

Tetris as an EFI application

jerrington.me

Blog & personal website

comp-302-review

Review problems for COMP 302

servant-github-webhook

Servant combinators for writing secure GitHub webhooks

eval

An implementation of a small strongly-typed functional language with parametric polymorphism, pattern-matching, and general recursion.

typarsec

Type-level parser combinators

dotfiles

Collected dotfiles and other scripts.

hacksignal

Hackathon mentor dispatching platform as a service.

vtikz

TikZ framework for typesetting videos

reproducible

Wrapper script to ensure the reproducibility of data-oriented scripts.

tpb

"tsani's pushbullet client"

ed-zero-hooker

Text hooker for Zero no Kiseki

apollo

HTTP MPD integration for Labcoders Radio

fancylojban

Lojban the dependently typed functional programming language

game2048-hs

A clone of 2048 written in Haskell with an AI to play it.

servant-otoke

Token authentication with Servant

gol3d

Three-dimensional cellular automata explorer and utilities.

pushbullet-hs

Pushbullet types and API client in Haskell

p3s

A sound synthesis library in Haskell

chrona

Chrona is a high-level functional reactive programming language

game-clones-cpp

Clones of various games in C++.

school-build

A simple make-based continuous integration server in Haskell

apollo-extension

Browser extension for Apollo

fuckdown2

A just-in-time brainfuck compiler

projecteuler-haskell

Solutions to Project Euler problems written in Haskell as practice

cv

lcr

Listen to http://radio.labcoders.club

blockchain-conduit

Haskell bindings for the Blockchain.info API