Discover ocharles/hsfmt Open Source project

Implementing Quake 3 in Haskell & Vulkan

163

zero-to-quake-3

A Haskell server implementation of the Engine.IO and Socket.IO (1.0) protocols

162

engine.io

A tiny CI server built around GitHub and Nix

149

micro-ci

Classic games recreated in netwire

132

netwire-classics

Automatically trace all (showable) binds in do expressions

what-it-do

A little Doom-like 2.5 game engine

hadoom

A small web programming library on top of reactive-banana and virtual-dom

Francium

HTML

blog

The contents of ocharles.org.uk/blog

Comparing Haskell effect systems for ergonomics and speed

effect-zoo

Py.test style assertions in Haskell

assert-explainer

Can we write a querying language with Dhall? Let's find out!

dhallql

logging-effect

A very general logging effect for Haskell

Write PostgreSQL functions in Haskell

plhaskell

Automatically refresh Pandoc documents in your web browser

pandoc-live

JavaScript

hlint-source-plugin

Run HLint as part of normal compilation

MusicBrainz for books? Why not!

BookBrainz

Quake 3 map viewer written in Haskell

hs-quake-3

Run digestive-functors against a JSON document

digestive-functors-aeson

Haskell (GHCJS) bindings to the virtual-dom project

virtual-dom

Drive the Nix build system using the Dhall configuration language

dhall-build

Extends stdenv.mkDerivation based builds with a distributed build cache on Amazon S3.

nix-build-cache

An approach to managing composable effects, ala mtl/transformers/extensible-effects/Eff

transformers-eff

Haskell bindings to libsystemd-journal

libsystemd-journal

An effect system similar to mtl with explicit dictionary passing.

rio-effect

Haskell libraries for OpenTracing.io

haskell-opentracing

OAuth 2 authentication for Snap applications

snaplet-oauth2

An alternative interface to Opaleye, built around type families

opaleye-tf

Haskell API to elasticsearch's REST interface

Elasticsearch

Rerun previous test suite runs to run only failing tests

tasty-rerun

A PostgreSQL AST/parser for Haskell

language-postgresql

Yet another Haskell Prometheus client

prometheus-effect

Code to accompany my blog post "Getting Started with Netwire and SDL"

ocharles.org.uk--Getting-Started-with-Netwire-and-SDL

A client to the ListenBrainz project

listenbrainz-client

Compile time checks that a computation considers producing data through all possible constructors

exhaustive

Dhall, formalised in Agda

dhall-agda

json-assertions

Test that your (Aeson) JSON encoding matches your expectation

Add CORS headers to Snap applications

snap-cors

A single collection of various experiments before they turn into more polished work.

excursions

hydra-continuous-deployment-tutorial

A tasty ingredient to output test results in XML, using the Ant schema. This XML can be consumed by the Jenkins continuous integration framework.

tasty-ant-xml

Calculate the differences between two Nix .drvs

diff-drv

An org-mode file indexer/search tool

Orgdex

dotcharles

My dotfiles

A pipes wrapper for postgresql-simple

pipes-postgresql-simple

Communicate with Socket.IO clients as part of a Snap website

snaplet-socketio

An EKG backend to send statistics to Carbon (part of Graphite monitoring tools)

ekg-carbon

3-way diff algorithm for Haskell

diff3

Send Haskell EKG metrics to Bosun servers

ekg-bosun

A Haskell implementation of the Carbon protocol (part of the Graphite monitoring tools)

network-carbon

High-level bindings using reactive-banana to GTK3

reactive-banana-gtk

A demonstration of screen-space ambient occlusion using OpenGL & Haskell

fused-effects-backpack

SSAO-example

A command line tool to add media files to your MusicBrainz collection

mb-collector

A Haskell library for streaming the contents of tar files

pipes-tar

A FFI to Xapian for Haskell

Xapian-Haskell

A collection of decks for learning various bits about Haskell and Haskell libraries.

haskell-anki-decks

OCharles-Blog-Factories

Accompanying code to my "Implement factories" article

Catalyst templating on rollerskates. Woosh!

Catalyst-View-HTML-Zoom

Haskell implementation of the MusicBrainz API

Web-MusicBrainz

Profile Catalyst applications with Devel::NYTProf

CatalystX-Profile

A platformer game in Netwire 5

netwire-platformer

This project contains my prototype for doing Varnish cache invalidation with RabbitMQ and pg_amqp

varnish-cache-invalidation

Work with Dhall values in JavaScript

dhall.js

JavaScript

dot-files

Lua

musicbrainz-rewrite

A rewrite of MusicBrainz using DBIx::Class, Moose, Catalyst, and various other technologies

A variation of the mtl, where type classes only contain algebraic effects/effect constructors

algebraic-mtl

Community ratings for Hackage, the Haskell package database

Raskell

ant-plus

Haskell ANT+ bindings

Collect errors from Snap applications and periodically flush them (via email, etc)

snap-error-collector

Implementing Lisp style conditions and restarts in Perl 5

Perl-Conditions

A Perlanet that "renders" to a DBIx::Class database, and stores all feeds and posts there

Perlanet-DBIx-Class

A small API for building reactive web applications with reactive-banana & GHCJS

reactive-html

Test the properties of a single XML element

test-xml-element

A little voting game for triaging our MusicBrainz bug tracker

VotingGame

Push prometheus-client metrics to a push gateway

prometheus-push

Playground for my work on the New Edit System. Mostly pure PG SQL.

nes-playground

MooseX-Types-DBIx-Class

MooseX::Types for DBIx::Class

Spying test doubles, just like Mockito

Test-Magpie

A REST server like delicious (motivation for Sloth)

Slothmarks

Scripts for my paper "Can Google Count?"

can-google-count

A collection of test scenarios we'd like to be able to express in Hedgehog

hedgehog-scenarios

Generalized filter combinators

monadplus

A generic implementation of Storable using the machinery provided by generics-sop

storable-sop

A Plack backed REST framework

Sloth

Just playing with some ideas of type class based streaming. Don't expect much atm!

monad-yield

A mocking framework for Perl inspired by JMock

Test-Mock

My Hydra configuration to build all of my own libraries

hydra-ocharles-projects

Document your Dhall types

dhall-doc

A Snap Snaplet to add Ekg monitor to your web application

snaplet-ekg

PostgreSQL specific extensions for Fey

Fey-SQL-Pg

Easy validation and transformation of tree structures

Data-TreeValidator

A seach indexer for MBChatLogger's RDF output

MBChatLogger-index

pipes-crypto

Cryptographic pipes

Adds 'RETURNING' support to SQL::Abstract->insert

SQL-Abstract-Plugin-InsertReturning

My solutions to SPOJ challenges (spoilers!)

SPOJ-solutions

Common Lisp

musicbrainz-server-database-only

MusicBrainz database import/replication code

A pretty printer for Nix expressions, written in Agda because I'm a masochist

agda-nixfmt

Agda

100

reactive-banana-fireworks-benchmark

A benchmark of particle physics (firework sparks) for reactive-banana