michaelballantyne Goto Github PK

gsl-weather-display

Webpage for display at Great Salt Lake Marina showing weather information

gtoolkit

Glamorous Toolkit is the moldable development environment. It is a live notebook. It is a flexible search interface. It is a fancy code editor. It is a software analysis platform. It is a data visualization engine. All in one.

gtoolkit-demos

A collection of ready to run demos of Glamorous Toolkit.

homebrew-cask

a CLI workflow for the administration of Mac applications distributed as binaries

homebrew-chez

Homebrew tap for installing Chez Scheme (https://github.com/cisco/chezscheme)

homebrew-core

:beers: Core formulae for the Homebrew package manager

homebrew-vicare

htdp

introstaticanalysis

JavaScript implementation of sign analysis from http://matt.might.net/articles/intro-static-analysis/

java-raytracer-skeleton

Modified version of Java translation of code from Raytracing From the Ground Up (http://www.raytracegroundup.com/)

list-plus

A form that collects values into a list while supporting internal-definitions

littlechef

Cook with Chef without a Chef Server

macropatterns

macrotypes

mailtester-sitebricks

Simple web app to test JNDI javamail configuration, built with sitebricks

maze-search-trees

Maze search algorithms that write graphviz dot files showing search tree

medikanren

Proof-of-concept for reasoning over the SemMedDB knowledge base, using miniKanren + heuristics + indexing.

meta-minikanren

A miniKanren interpreter... in miniKanren. Relationally run your relations relationally!

miniclass

a few implementations of a small class system in Racket

minikanren-ee

minikanren-hangout-summaries

Summaries of intro and advanced miniKanren hangout series

minikanren-occurrence-type-inferencer

minikanren-odds-and-ends

miniKanren things worth archiving but that don't constitute a complete project

minikanren-quines

Programs that are quines in the miniKanren relational programming language

minikanren-with-struct-unification

minimal-dsl-racket

mininebo

minisat

A minimalistic and high-performance SAT solver

minisat-c-bindings

C-Bindings to MiniSat

mk-in-class