Skip to content
View robx's full-sized avatar

Block or report robx

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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
Showing results

Forked from https://github.com/opt-pan/penpa-edit to provide English translations

13 10 Updated Dec 17, 2021

Mid-level client library for accessing PostgreSQL from Haskell

Haskell 96 52 Updated Feb 10, 2026

Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.

Lean 303 71 Updated Mar 9, 2024

Run arbitrary commands when files change

C 5,516 119 Updated Mar 2, 2026

hello world experiment in nim and karax

Nim 1 Updated Apr 1, 2020

priority semaphore

Go 1 Updated Feb 17, 2020
Python 36 5 Updated Jul 27, 2025

Version control for databases: save, restore, and archive snapshots of your database from the command line

Shell 1,300 27 Updated Sep 24, 2021

An Extended Version of the Compiler for Elm, a functional language for reliable webapps.

Haskell 30 Updated May 3, 2019

A minimal note taking app build over Github Pages

SCSS 79 10 Updated Feb 16, 2022

Gel supercharges Postgres with a modern data model, graph queries, Auth & AI solutions, and much more.

Python 14,081 447 Updated Dec 24, 2025

REST API for any Postgres database

Haskell 26,700 1,171 Updated Mar 28, 2026
JavaScript 3 1 Updated May 18, 2019
JavaScript 32 5 Updated Jun 29, 2019

Playing and editing puzzles by Javascript

JavaScript 18 8 Updated Jul 17, 2019

command line pastebin for google appengine

Python 723 69 Updated Jul 19, 2015

Pure Go SQLite file reader

Go 199 12 Updated Feb 28, 2023

Stable Haskell package sets: vetted consistent packages from Hackage

Dockerfile 547 822 Updated Mar 29, 2026

Rasterific backend for diagrams

Haskell 16 12 Updated Jun 13, 2025

Diagrams standard library

Haskell 140 64 Updated Dec 2, 2025

Go implementation of EDN (Extensible Data Notation)

Go 119 12 Updated Oct 19, 2020

Simple browser MPD client

Go 10 1 Updated Dec 14, 2021

Convert Elm project into Nix expressions

Haskell 122 17 Updated Sep 9, 2025

Privacy Badger is a browser extension that automatically learns to block hidden trackers

JavaScript 3,697 423 Updated Mar 27, 2026

Minimalist pointer events polyfill

JavaScript 15 5 Updated Feb 17, 2018

RSS feeds of stable release versions, as found in Wikipedia.

Go 21 1 Updated Nov 26, 2025

Read Postgres schema definitions in Go.

Go 7 1 Updated Feb 27, 2017
Ruby 1 Updated May 1, 2014

Alternative Go JSON parser

Go 10 2 Updated Feb 17, 2016
Next