Discover @ocharles Open Source projects

Ollie Charles (@ocharles)

ocharles

Stars
2,726
Global Rank 10,575 (Top 0.4 %)
Followers 752
Following 39
Registered almost 16 years ago
Most used languages

Haskell
66.7 %

Perl
21.6 %

Nix
5.9 %

JavaScript
2.0 %

Common Lisp
1.0 %

HTML
1.0 %

Agda 1.0 %

Lua
1.0 %
Location 🇬🇧 United Kingdom
Country Total Rank 548
Country Ranking

Haskell
7

Nix
14

Agda 40

Perl
80

Common Lisp
99

HTML
341

Lua
618

JavaScript
2,312

papers

A Git annex repository of papers

zero-to-quake-3

Implementing Quake 3 in Haskell & Vulkan

weeder

A re-implementation of weeder using HIE files

engine.io

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

micro-ci

A tiny CI server built around GitHub and Nix

netwire-classics

Classic games recreated in netwire

what-it-do

Automatically trace all (showable) binds in do expressions

hadoom

A little Doom-like 2.5 game engine

Francium

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

blog

The contents of ocharles.org.uk/blog

assert-explainer

Py.test style assertions in Haskell

dhallql

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

effect-zoo

Comparing Haskell effect systems for ergonomics and speed

logging-effect

A very general logging effect for Haskell

plhaskell

Write PostgreSQL functions in Haskell

pandoc-live

Automatically refresh Pandoc documents in your web browser

hlint-source-plugin

Run HLint as part of normal compilation

BookBrainz

MusicBrainz for books? Why not!

hs-quake-3

Quake 3 map viewer written in Haskell

digestive-functors-aeson

Run digestive-functors against a JSON document

virtual-dom

Haskell (GHCJS) bindings to the virtual-dom project

dhall-build

Drive the Nix build system using the Dhall configuration language

transformers-eff

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

nix-build-cache

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

hsfmt

A Haskell code formatter using prettyprinter and the GHC API

libsystemd-journal

Haskell bindings to libsystemd-journal

rio-effect

An effect system similar to mtl with explicit dictionary passing.

haskell-opentracing

Haskell libraries for OpenTracing.io

snaplet-oauth2

OAuth 2 authentication for Snap applications

opaleye-tf

An alternative interface to Opaleye, built around type families

Elasticsearch

Haskell API to elasticsearch's REST interface

tasty-rerun

Rerun previous test suite runs to run only failing tests

language-postgresql

A PostgreSQL AST/parser for Haskell

prometheus-effect

Yet another Haskell Prometheus client

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

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

listenbrainz-client

A client to the ListenBrainz project

exhaustive

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

dhall-agda

Dhall, formalised in Agda

json-assertions

Test that your (Aeson) JSON encoding matches your expectation

snap-cors

Add CORS headers to Snap applications

hydra-continuous-deployment-tutorial

excursions

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

tasty-ant-xml

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

diff-drv

Calculate the differences between two Nix .drvs

Orgdex

An org-mode file indexer/search tool

ekg-carbon

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

dotcharles

pipes-postgresql-simple

A pipes wrapper for postgresql-simple

snaplet-socketio

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

diff3

3-way diff algorithm for Haskell

ekg-bosun

Send Haskell EKG metrics to Bosun servers

network-carbon

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

reactive-banana-gtk

High-level bindings using reactive-banana to GTK3

fused-effects-backpack

SSAO-example

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

mb-collector

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

pipes-tar

A Haskell library for streaming the contents of tar files

Xapian-Haskell

A FFI to Xapian for Haskell

haskell-anki-decks

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

OCharles-Blog-Factories

Accompanying code to my "Implement factories" article

Web-MusicBrainz

Haskell implementation of the MusicBrainz API

Catalyst-View-HTML-Zoom

Catalyst templating on rollerskates. Woosh!

varnish-cache-invalidation

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

CatalystX-Profile

Profile Catalyst applications with Devel::NYTProf

netwire-platformer

A platformer game in Netwire 5

dhall.js

Work with Dhall values in JavaScript

dot-files

musicbrainz-rewrite

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

algebraic-mtl

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

Raskell

Community ratings for Hackage, the Haskell package database

ant-plus

Haskell ANT+ bindings

snap-error-collector

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

Perl-Conditions

Implementing Lisp style conditions and restarts in Perl 5

Perlanet-DBIx-Class

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

reactive-html

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

test-xml-element

Test the properties of a single XML element

VotingGame

A little voting game for triaging our MusicBrainz bug tracker

prometheus-push

Push prometheus-client metrics to a push gateway

nes-playground

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

MooseX-Types-DBIx-Class

MooseX::Types for DBIx::Class

Test-Magpie

Spying test doubles, just like Mockito

Slothmarks

A REST server like delicious (motivation for Sloth)

can-google-count

Scripts for my paper "Can Google Count?"

hedgehog-scenarios

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

monadplus

Generalized filter combinators

storable-sop

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

monad-yield

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

Sloth

A Plack backed REST framework

Test-Mock

A mocking framework for Perl inspired by JMock

dhall-doc

Document your Dhall types

hydra-ocharles-projects

My Hydra configuration to build all of my own libraries

snaplet-ekg

A Snap Snaplet to add Ekg monitor to your web application

Fey-SQL-Pg

PostgreSQL specific extensions for Fey

Data-TreeValidator

Easy validation and transformation of tree structures

MBChatLogger-index

A seach indexer for MBChatLogger's RDF output

pipes-crypto

Cryptographic pipes

SQL-Abstract-Plugin-InsertReturning

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

SPOJ-solutions

My solutions to SPOJ challenges (spoilers!)

musicbrainz-server-database-only

MusicBrainz database import/replication code

agda-nixfmt

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