Pinned Repositories
ActiveHs
Haskell code presentation tool
ActiveHs-misc
Additional Cabal packages for ActiveHs
AgdaTutorial
Git fork of http://hub.darcs.net/divip/AgdaTutorial
freebsd-bhyve-plus-port
Unofficial extensions to BHyVe
freebsd-wifibox
wifibox: Use Linux to drive your wireless card on FreeBSD
freebsd-wifibox-alpine
FreeBSD wifibox guest based on Alpine Linux
freebsd-wifibox-image
Virtual machine image for pgj/freebsd-wifibox
freebsd-wifibox-port
FreeBSD port for Wifibox
mirage-kfreebsd
Port of the Mirage OS module to the FreeBSD kernel, aka. project "Mirage/kFreeBSD".
opam-repository
Package descriptions for OPAM
pgj's Repositories
pgj/freebsd-wifibox
wifibox: Use Linux to drive your wireless card on FreeBSD
pgj/freebsd-bhyve-plus-port
Unofficial extensions to BHyVe
pgj/freebsd-wifibox-alpine
FreeBSD wifibox guest based on Alpine Linux
pgj/freebsd-wifibox-port
FreeBSD port for Wifibox
pgj/freebsd-wifibox-image
Virtual machine image for pgj/freebsd-wifibox
pgj/ActiveHs
Haskell code presentation tool
pgj/AgdaTutorial
Git fork of http://hub.darcs.net/divip/AgdaTutorial
pgj/apache-infrastructure-website
ASF Infrastructure Team Website Repository
pgj/asdf-coursier
Coursier plugin for the asdf version manager
pgj/bead
E-learning snap based server for special teaching purposes
pgj/clouseau
Expose Lucene features as an erlang-like node
pgj/couchdb
Seamless multi-master syncing database with an intuitive HTTP/JSON API, designed for reliability
pgj/couchdb-admin
Mirror of Apache CouchDB Project Admin
pgj/couchdb-ci
Apache CouchDB CI
pgj/couchdb-docker
Semi-official Apache CouchDB Docker images
pgj/couchdb-glazier
Mirror of Apache CouchDB Glazier
pgj/couchdb-infra-cm
Scripts to manage IBM cloud instances running Jenkins CI workers
pgj/couchdb-k6
CouchDB performance tests via k6.io
pgj/drm-kmod
drm driver for FreeBSD
pgj/easton
GeoSpatial Indexer for CouchDB 2.0
pgj/freebsd-bhyve-plus
One size fits all version of the FreeBSD Hypervisor
pgj/freebsd-doc
FreeBSD doc tree (read-only mirror)
pgj/freebsd-quarterly
FreeBSD quarterly reports
pgj/github-changelog
GitHub changelog
pgj/leanpub-translations
Leanpub Translation Files
pgj/openrc
The OpenRC init system
pgj/otp
Erlang/OTP
pgj/pgj
pgj/reitit
A fast data-driven router for Clojure(Script).
pgj/ring-swagger
Swagger Spec for Clojure Web Apps