The implementation of an SMTLib dialect for xDSL

Type expanders (i.e. type-level functions) for Typed/Racket

Bandit is a pure Elixir HTTP server for Plug & WebSock applications

Library and tools for the TSL specification format

Config files for my GitHub profile.

Introduction to programming language theory in Agda.

An extension of the Kodkod relational model finder

VSCode extension that enhances display of errors and warnings.

A webapp for developing and sharing Alloy models

Chez Scheme

Procedural CAD for Weirdos

A data frame implementation for Racket

struct-define - quickly access fields of struct

3-dimensional picts

a racket lang-extension for rackjure-like anonymous function literals

simply-scheme language bindings for Racket

Racket bindings for Z3

A music rhythm rpg with randomly generated beatmaps that you actually get to play

This repo is a fork of the Proof-General github repo. The `server-protocol' branch uses Coq's XML protocol, which support async processing

Managing windows size and position in OSX