Beast code in Giters

Andrew Pritchard's starred repositories

Agda is a dependently typed programming language / interactive theorem prover.

Language:HaskellNOASSERTION242700

Language:HaskellApache-2.0100

Language:HaskellNOASSERTION2400

API for protocol buffers using modern Haskell language and library patterns.

Language:HaskellBSD-3-Clause45700

A chat application built with ASP.NET and SignalR

Language:C#MIT100

OpenID implementation in Go

Language:GoBSD-3-Clause100

PostgreSQL driver for the Go SQL database package

Language:GoNOASSERTION100

The easiest way to create web applications with Go

Language:GoMIT100

GLUT bindings for Go

Language:GoNOASSERTION100

Go bindings for OpenGL

Language:Go100

PostgreSQL driver for the Go SQL database package

Language:GoNOASSERTION7200

Collaborative chat done right

Language:C#MIT150300

GLUT bindings for Go

Language:GoNOASSERTION1600

The easiest way to create web applications with Go

Language:GoMIT366300

Go bindings for OpenGL

Language:GoBSD-3-Clause34200