ocharles Goto Github PK
Name: Ollie Charles
Type: User
Company: CircuitHub
Location: London
Blog: http://ocharles.org.uk
Name: Ollie Charles
Type: User
Company: CircuitHub
Location: London
Blog: http://ocharles.org.uk
Time-varying values with start and end times.
Simple adjunctions
Lens of Aeson
JSON quasiquoter for Haskell
Agda is a dependently typed programming language / interactive theorem prover. Bug tracker: https://code.google.com/p/agda/issues/list
A pretty printer for Nix expressions, written in Agda because I'm a masochist
Algebraic graphs
A variation of the mtl, where type classes only contain algebraic effects/effect constructors
Haskell AMQP client library
Haskell ANT+ bindings
Terminal session recorder 📹
Py.test style assertions in Haskell
Authentication methods for Haskell web applications.
Amazon Web Services for Haskell
A type-safe, non-TH Haskell SQL library and ORM
A better mtl
Cross-platform, graphics API agnostic, "Bring Your Own Engine/Framework" style rendering library.
Haskell 98 bifunctors, bifoldables and bitraversables
The contents of ocharles.org.uk/blog
MusicBrainz for books? Why not!
Build Systems à la Carte
Official upstream development repository for Cabal and cabal-install
A tool suite to aid Haskell development using `cabal-install`
Generate Nix build instructions from a Cabal file
Scripts for my paper "Can Google Count?"
Catalyst plugin to restart server processes when specified memory threshold is reached
Catalyst templating on rollerskates. Woosh!
Profile Catalyst applications with Devel::NYTProf
Binary serialisation in the CBOR format
A service to determine changes to sets of MusicBrainz IDs
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.