ivanthetricourne Goto Github PK

ace-builds

alphakanren

Nominal logic programming extensions to miniKanren, based on alphaProlog.

cheshire

Clojure JSON and JSON SMILE (binary json format) encoding/decoding

clip-file-maker

generate a clip file via VLC http

elm-set-count

An simple webapp for visualizing a set count

emacswiki.org

The official Emacswiki repository

flow

Adds static typing to JavaScript to improve developer productivity and code quality.

foam-eng

FOAM engineering assignment

gentzen-prover

A basic proof assistant for the Gentzen I System

haskell-opaleye

homotopytypetheory

From Indiana University's Homotopy Type Theory course, CSCI-B629 Spring 2016

ivanthetricourne.github.io

Blogs, Projects and Toys

jekyll-now

Build a Jekyll blog in minutes, without touching the command line.

leiningen

Automate Clojure projects without setting your hair on fire.

mayflash-f500-mixbox-panel

Vector files for a DIY mixbox arcade controller mod for Mayflash F500

minikanren-confo

core.logic.nominal at the minikanren confo 2013

multishine

Trying my hand at animations.

name-tag-generator

Final project from Indiana University's course, Advanced functional programming,CSCI-B490 Spring 2016

project-arwing

A swiss-army knife for SSBM Fox Mains

project-clippi

Project Clippi is an automation framework for Super Smash Bros. Melee. Detect an event → execute an action.

project-slippi

Project for building a replay/metadata infrastructure for Super Smash Bros Melee

proto3-wire

scheme-compiler

From Indiana University's Compilers course, Spring 2015

slippi-renamer

Rename Slippi files with the characters, tags, and stage.

slippi-scripts

A collection of Slippi scripts and other vaguely useful things.

slp-realtime

Realtime slp parsing library focused on speed and efficiency.

trie-racket

Trie data structure API in Racket

type-theory-paper

Work with Daniel P. Friedman (Summer 2015) on Dependent Types and Martin-Löf Type Theory

video-clipping-tool

split an mp4 and then combine the result