Skip to content
View awpr's full-sized avatar
25 followers · 1 following
  • Mountain View, CA

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Organizations

@yesodweb

Block or report awpr

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Stars

Showing results

agda / agda

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

Haskell 2,614 368 Updated Apr 18, 2025

awpr / ten

Forked from google/hs-ten
Haskell 1 Updated Mar 14, 2023

augustss / orthotope

Forked from google/orthotope
Haskell 26 7 Updated Jan 3, 2025

google / proto-lens

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

Haskell 478 110 Updated Apr 1, 2025

awpr / JabbR

Forked from JabbR/JabbR

A chat application built with ASP.NET and SignalR

C# 1 Updated Aug 1, 2012

awpr / go-openid

Forked from brianolson/go-openid

OpenID implementation in Go

Go 1 Updated Feb 24, 2012

awpr / gopgsqldriver

Forked from jbarham/gopgsqldriver

PostgreSQL driver for the Go SQL database package

Go 1 Updated Feb 24, 2012

awpr / web.go

Forked from hoisie/web

The easiest way to create web applications with Go

Go 1 Updated Mar 15, 2012

awpr / Go-GLUT

Forked from rhencke/glut

GLUT bindings for Go

Go 1 Updated Nov 12, 2011

awpr / Go-OpenGL

Forked from go-gl-legacy/gl

Go bindings for OpenGL

Go 1 Updated Nov 12, 2011

jbarham / gopgsqldriver

PostgreSQL driver for the Go SQL database package

Go 74 16 Updated Dec 28, 2020

JabbR / JabbR

Collaborative chat done right

C# 1,505 588 Updated Sep 21, 2018

rhencke / glut

GLUT bindings for Go

Go 16 9 Updated Jun 3, 2016

hoisie / web

The easiest way to create web applications with Go

Go 3,673 706 Updated Jun 29, 2024

go-gl-legacy / gl

Go bindings for OpenGL

Go 341 52 Updated Feb 23, 2015
Showing results