phlummox-mirrors Goto Github PK

2012-scheme-workshop-quines-paper-code

Code from the 2012 Scheme Workshop paper by Byrd, Holk, and Friedman, "miniKanren, Live and Untagged: Quine Generation via Relational Interpreters."

arimoto-blahut

Arimoto Blahut algorithm implementation for channel capacity and rate distortion curve

cde

CDE: Code, Data, and Environment packaging for Linux. See wiki at https://github.com/phlummox-mirrors/CDE/wiki

chezscheme

Chez Scheme

coalton

Coalton is (supposed to be) a dialect of ML embedded in Common Lisp.

coloring-book

This is a Coloring Book about Group Theory

cpdt

clone of Adam Chlipala's "Certified Programming with Dependent Types" repo at http://adam.chlipala.net/cpdt/repo/

curry

Clone of Munster Curry Compiler (mcc) repo at http://hub.darcs.net/wlux/curry

curry-base

clone of repo at https://git.ps.informatik.uni-kiel.de/curry/curry-base.git

curry-frontend

clone of curry-frontend repo at https://git.ps.informatik.uni-kiel.de/curry/curry-frontend.git

curry-libs

clone of repo at https://git.ps.informatik.uni-kiel.de/curry/curry-libs.git

curry-tools

clone of repo at https://git.ps.informatik.uni-kiel.de/curry/curry-tools.git

django-todo

A multi-user, multi-group todo/ticketing system for Django projects. Version 2 is now released, with full support for Django 2 / Python 3.

eleventy-high-performance-blog-instance

encrypt-bookmarks-chrome-extension

Encrypt your bookmarks with a password. clone of nicman42 / encrypt-bookmarks-chrome-extension

femtomail

minimal MDA with Maildir support. imported from https://git.lekensteyn.nl/femtomail/

fp-course

Functional Programming Course

getopt

A POSIX-compatible getopt implementation for Go. cloned from https://git.sr.ht/~sircmpwn/getopt

gitignore

A collection of useful .gitignore templates

gprolog

fork of GNU prolog repo at https://git.code.sf.net/p/gprolog/code

hackett

WIP implementation of a Haskell-like Lisp in Racket

harpoon

The FLEX Java compiler infrastructure

homepage

My homepage.

hpack-convert

hpack-convert: Convert Cabal manifests into hpack's package.yamls

incredible

The Incredible Proof Machine

intero

ivank-voronoi

copy of ivank's voronoi diagram code at http://www.ivank.net/blogspot/vor/voronoi.zip, adapted for linux

joplin

Joplin - an open source note taking and to-do application with synchronization capabilities for Windows, macOS, Linux, Android and iOS. FORK that builds a .deb file

joplin-docker-build

kanren

Clone of the cvs kanren repository at kanren.cvs.sourceforge.net/cvsroot/kanren/