phlummox-mirrors Goto Github PK

kickstart

A scaffolding tool to get new projects up and running quickly

kics2

kics2 curry compiler. clone of https://git.ps.informatik.uni-kiel.de/curry/kics2.git

monit

forked from https://bitbucket.org/tildeslash/monit Monit is an open source utility for managing and monitoring, processes, programs, files, directories and filesystems on a UNIX system. Monit conducts automatic maintenance and repair and can execute meaningful causal actions in error situations.

mucheck

forked from bitbucket

openlogic

An open-source, customizable intermediate logic textbook

panhandle

Mirror of http://chriswarbo.net/git/panhandle

panpipe

Mirror of http://chriswarbo.net/git/panpipe

plt

A path to Programming Language Theory enlightenment

post-rfc

Blog post previews in need of peer review

prolog-interpreter

Simple prolog interpreter using ES6 generators

pugs.hs

(ARCHIVE) Raku User's Golfing System in Haskell

pyrebase4

A simple python wrapper for the Firebase API. ⛺ Cloned from nhorvath / Pyrebase4

python-syncthing

Python bindings to the Syncthing REST interface.

rkt

rkt is a pod-native container engine for Linux. It is composable, secure, and built on standards.

simplefp-v2

A re-do of the SimpleFP repo using de Bruijn index ABTs instead of HOAS

spec

The Mustache spec.

stqam-2015

SE465 (3A) lecture materials

stqam-2019

Materials for SE 465 as offered in W19

stub

A language-agnostic project generator

terraform-provider-libvirt

Terraform provider to provision infrastructure with Linux's KVM using libvirt

tpg

Tree Proof Generator

tracks

Tracks is a GTD™ web application, built with Ruby on Rails

trip

type-theory-and-its-meaning-explanations

an introduction to type theory based on meaning explanations (as opposed to proof theoretic type theories). A good read, but it has not aged as well as I had hoped. Talk to me personally if you want to understand meaning explanations!!

typio-form-recovery-reboot

This is a fork of the Typio Form Recovery Chrome Extension from Bitbucket: https://bitbucket.org/nicklassandell/chrome-form-recovery (MAINTENANCE MODE)

who_goes_there

A repo for my typeset version of Campbell's "Who Goes There?"

yale-haskell

HASKELL: Yale Haskell system written in Lisp

zola

A fast static site generator in a single binary with everything built-in. https://www.getzola.org