Pinned Repositories
atomplusplus
a post-compo version of an old ld48 project
hanafuda
Play Koi-Koi with multiple people!
markov-music-gen
Generating music using Markov Chains!
pixiapp
A new pixel art app. Yes, another one :P
potion-gen
A random potion generator for our upcoming Escape Room
rearrange
A Haskell library for compile-time detection and resolution of data-flow dependencies.
roguelike-levelgen
Roguelike level generation, brought to you in LOVE2d!
twar
twar - a game where you code on twitter in lua to synthesise blocks, build and conquer!
tablebot
An extendable Discord bot framework written on top of `discord-haskell`
tgrsite
Warwick Tabletop Games and Role-Playing Society's website.
finnbar's Repositories
finnbar/hanafuda
Play Koi-Koi with multiple people!
finnbar/markov-music-gen
Generating music using Markov Chains!
finnbar/potion-gen
A random potion generator for our upcoming Escape Room
finnbar/generative-talk
The source code to a generative music lightning talk
finnbar/only-connect
Love2D Application for running your own Only Connect shows! Because why not.
finnbar/rearrange
A Haskell library for compile-time detection and resolution of data-flow dependencies.
finnbar/rearrangements
Just the rearrangements part of "Graded monads and type-level programming for dependence analysis" [Haskell '21]
finnbar/type-level-sets
Type-level sets for Haskell (with value-level counterparts and various operations)
finnbar/ALTANTIS
A possible bot for an upcoming Megagame run by Warwick Tabletop
finnbar/aesopstables
finnbar/ALTANTIS2
ALTANTIS 2: this time it's in Haskell
finnbar/beanstalk
A Netrunner Discord bot.
finnbar/code-aid-frontend
I should have put this up sooner. Oh well. YRS 2015 WOO YEAH!!!!!1
finnbar/Gamer
Library for the DIY Gamer Kit
finnbar/guide
LaTeX sources for the CS141 module guide.
finnbar/IRShowdown
A multiplayer game for the DIY Gamer Kit
finnbar/lab-applicatives
Code for exercises on Applicative functors
finnbar/ld39
A game about getting out of a mine while your torch runs out of power.
finnbar/lsystems
An online editor for making and rendering your own lsystems.
finnbar/netrunner-cards-json
Android: Netrunner LCG card data in JSON format. Used by http://netrunnerdb.com.
finnbar/personalsite
My personal website, hopefully. Written in Flask, will make a tiny blog backend.
finnbar/proc-examples
finnbar/proteaaudio
Simple audio library for Windows, Linux, OSX. Supports Ogg and Wav playback and multichannel mixing.
finnbar/rearrange-afrp
finnbar/render-unset
finnbar/rrrrobot
FFFFootball!
finnbar/severn
Code for Keating and Gale, Haskell Symposium 2023
finnbar/simply-typed-ext
An extended version of the interactive simply-typed lambda-calculus implemented in Haskell.
finnbar/stuffdash
Finding stuff, quickly!
finnbar/wwfsolver
Words With Friends solver, yay!