phlummox-dev Goto Github PK

6.s060-labs

Programming labs for 6.S060 (Foundations of Computer Security).

actions-setup-docker

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

afl-demo

Simple demonstration for how to fuzz test a C++ program with AFL.

algorithm-w-step-by-step

Classic Algorithm W for type inference.

ansible-docker

docker image containing ansible running on python3/alpine

bidirectional

Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"

blueheart

Web-based IDE

bookcode

Source code for my books

carnap-docker-b

carnap-test

Docker image for testing Carnap (https://github.com/gleachkr/Carnap)

cpack-demo

try build & package w cpack

cs524-program-analysis

clone of program analysis course content from @prosyslab-classroom

deducto

minikanren-like library for Haskell

dev-tips-and-triks-wiki

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

docker-alpine-podman

Docker image for Podman 3.2.3 running on Alpine Linux. Handy for CI

docker-android

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

docker-bionic-build-essential

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

docker-hackage-server

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

docker-heroku-cli

heroku cli in a container

docker-javatester-base

base image for testing java+PDF things

docker-openjdk-builder

docker image for doing source build of OpenJdk

easy-novnc

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

eleventy-docker

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

eleventy-high-performance-blog

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

flutter-adb-template

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

formal-methods-foundation-2015-ustc-

Docs and lab codes of the course "Formal Methods Foundation (2015)" at USTC.

gh-greets-qt

GH Actions greets a Qt based project using CMake and CMakeIFW

gitpod-android-studio-docker

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

gotty

Share your terminal as a web application

graph-search

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