mgree/conflict

This repository has been archived on 31/May/2023
Stars
1
Language
Haskell
License
BSD 3-Clause "New...
Created about 10 years ago
Updated about 10 years ago

mgree/conflict

mgree

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Scheduling program committee meetings with conflicts of interest

ffs

the file filesystem: mount semi-structured data (like JSON) as a Unix filesystem

smoosh

The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.

kmt

Kleene algebra modulo theories

trampoline

Safely running potentially non-terminating functions in Elm.

tmpl

Topic Modeling in Programming Languages

phpenkoder

Mirror of https://plugins.trac.wordpress.org/browser/php-enkoder/. Wordpress plugin for obfuscating email addresses.

dts

Fritz Henglein and Jakob Rehof's '90s investigations into dynamic typing

sleepwave

Timer with a grace period, for the "sleep wave" sleep training technique.

cypress

Cypress @ Stevens website

much

Multi-user Conference Hall, a text-based virtual environment for conferences

mgt

Implementation of "Migrating Gradual Types" by Campora et al.

z3canary

literary_ebooks

A bot that tweets quotes from books

crossbars

Tools for word puzzles (like acrostics and crosswords)

idioms

Finding idioms in straight-line programs.

katbury

KAT rewriting using egg's e-graphs: KATbury Kreme egg