Repositories list

• docker-texlive

  Public
  docker image with TexLive installed

  Dockerfile

  •

  The Unlicense

  •0•0•0•0•Updated Oct 29, 2024Oct 29, 2024

• cython-master-wheels

  Public
  building python wheels from https://github.com/cython/cython master branch

  0•0•0•0•Updated Jun 15, 2024Jun 15, 2024

• docker-openjdk-builder

  Public
  docker image for doing source build of OpenJdk

  Dockerfile

  •

  The Unlicense

  •0•0•0•0•Updated Jan 3, 2024Jan 3, 2024

• readability-bookmarklets

  Public
  Looking for good improved-readability bookmarklets

  HTML

  •

  The Unlicense

  •0•0•0•0•Updated Jul 9, 2023Jul 9, 2023

• restic-deb

  Public
  up-to-date (as at time of writing) version of restic, shoved in a .deb

  Makefile

  •

  The Unlicense

  •0•0•1•0•Updated Jun 22, 2023Jun 22, 2023

• dev-tips-and-triks-wiki

  Public
  linux and programming (mostly) tips and tricks, in a tiddlywiki-based wiki - published as a static page

  Makefile

  •0•0•0•0•Updated Mar 27, 2023Mar 27, 2023

• qi

  Public
  A general-purpose functional DSL. clone of @countvajhula's repo

  Racket

  •12•0•0•0•Updated Dec 22, 2022Dec 22, 2022

• cs524-program-analysis

  Public
  clone of program analysis course content from @prosyslab-classroom

  Python

  •12•0•0•0•Updated Dec 14, 2022Dec 14, 2022

• seed-labs

  Public
  SEED Labs developed in the last 20 years.

  Python

  •

  Other

  •470•0•0•0•Updated Aug 19, 2022Aug 19, 2022

• thma.github.io

  Public
  Lambda is not a four letter word. My blog on all things haskell and FP. (clone of thma / thma.github.io)

  HTML

  •

  Apache License 2.0

  •2•0•0•0•Updated Aug 13, 2022Aug 13, 2022

• nested

  Public
  Code snippets linked from https://nested.substack.com/

  C++

  •1•0•0•0•Updated Aug 9, 2022Aug 9, 2022

• pyinfra

  Public
  pyinfra automates infrastructure super fast at massive scale. It can be used for ad-hoc command execution, service deployment, configuration management and more. (forked from https://github.com/Fizzadar/pyinfra)

  Python

  •

  MIT License

  •383•0•0•0•Updated Jul 16, 2022Jul 16, 2022

• BookCode

  Public
  Source code for my books

  PHP

  •145•0•0•0•Updated Jul 5, 2022Jul 5, 2022

• docker-javatester-base

  Public
  base image for testing java+PDF things

  Python

  •

  BSD 2-Clause "Simplified" License

  •0•0•0•0•Updated May 7, 2022May 7, 2022

• kevin-w-du-courses

  Public
  Courses

  8•0•0•0•Updated Apr 12, 2022Apr 12, 2022

• MiniKanrenT

  Public
  An implementation of miniKanren in Haskell. cloned from https://github.com/jvranish/MiniKanrenT

  Haskell

  •

  MIT License

  •2•0•0•0•Updated Apr 8, 2022Apr 8, 2022

• docker-bionic-build-essential

  Public
  Ubuntu 18.04 with typical (C-ish) build tools installed

  Dockerfile

  •

  BSD 2-Clause "Simplified" License

  •0•0•0•0•Updated Mar 18, 2022Mar 18, 2022

• phlummox-dev.github.io

  Public
  Nunjucks

  •

  Creative Commons Attribution 4.0 International

  •0•0•0•0•Updated Feb 16, 2022Feb 16, 2022

• eleventy-high-performance-blog

  Public template
  A high performance blog template for the 11ty static site generator.

  JavaScript

  •

  MIT License

  •283•0•0•0•Updated Feb 15, 2022Feb 15, 2022

• eleventy-docker

  Public
  Docker image containing eleventy (https://www.11ty.dev) site generator running on alpine

  Python

  •

  BSD 2-Clause "Simplified" License

  •0•0•0•0•Updated Feb 10, 2022Feb 10, 2022

• graph-search

  Public
  graph algorithms adapted from https://hackage.haskell.org/package/search-algorithms

  Haskell

  •

  BSD 2-Clause "Simplified" License

  •0•0•0•0•Updated Feb 10, 2022Feb 10, 2022

• ansible-docker

  Public
  docker image containing ansible running on python3/alpine

  Python

  •

  BSD 2-Clause "Simplified" License

  •0•0•0•0•Updated Jan 30, 2022Jan 30, 2022

• easy-novnc

  Public
  Single-binary noVNC instance, web UI, and multi-host proxy.

  Go

  •

  MIT License

  •61•0•0•0•Updated Jan 26, 2022Jan 26, 2022

• gitpod-android-studio-docker

  Public
  fork of phlummox/android-studio-docker. android studio docker image for gitpod

  Dockerfile

  •

  BSD 2-Clause "Simplified" License

  •0•0•0•0•Updated Jan 18, 2022Jan 18, 2022

• ploeh.github.com

  Public
  ploeh blog 'source code'

  HTML

  •

  MIT License

  •323•0•0•0•Updated Jan 18, 2022Jan 18, 2022

• docker-android

  Public
  Android (SDK, tools and Studio) and Flutter (SDK) in a docker image

  Dockerfile

  •

  BSD 2-Clause "Simplified" License

  •0•0•0•0•Updated Jan 13, 2022Jan 13, 2022

• actions-setup-docker

  Public
  Set up your GitHub Actions workflow with a specific version(18.09,19.03,20.10,nightly) of Docker ON Linux/macOS

  JavaScript

  •35•0•0•0•Updated Jan 4, 2022Jan 4, 2022

• docker-hackage-server

  Public
  docker image for running hackage-server (https://github.com/haskell/hackage-server)

  dockerhaskellhackage+ 1hackage-server

  Dockerfile

  •

  The Unlicense

  •0•0•0•0•Updated Dec 31, 2021Dec 31, 2021

• deducto

  Public
  minikanren-like library for Haskell

  0•0•0•0•Updated Dec 22, 2021Dec 22, 2021

• flutter-adb-template

  Public
  clone of https://github.com/JamesCullum/flutter-adb-template

  Dart

  •

  MIT License

  •0•0•0•0•Updated Dec 16, 2021Dec 16, 2021