Pinned Repositories
kepler
A Haskell framework that facilitates writing ABCI applications
sample-nft-project
FOAM Signal Marketplace
elm-set-count
An simple webapp for visualizing a set count
IvantheTricourne.github.io
Blogs, Projects and Toys
Multishine
Trying my hand at animations.
Scheme-Compiler
From Indiana University's Compilers course, Spring 2015
slippi-scripts
A collection of Slippi scripts and other vaguely useful things.
project-lamp
Source code for book content and site
IvantheTricourne's Repositories
IvantheTricourne/slippi-scripts
A collection of Slippi scripts and other vaguely useful things.
IvantheTricourne/Scheme-Compiler
From Indiana University's Compilers course, Spring 2015
IvantheTricourne/Multishine
Trying my hand at animations.
IvantheTricourne/elm-set-count
An simple webapp for visualizing a set count
IvantheTricourne/IvantheTricourne.github.io
Blogs, Projects and Toys
IvantheTricourne/ace-builds
IvantheTricourne/alphaKanren
Nominal logic programming extensions to miniKanren, based on alphaProlog.
IvantheTricourne/cheshire
Clojure JSON and JSON SMILE (binary json format) encoding/decoding
IvantheTricourne/clip-file-maker
generate a clip file via VLC http
IvantheTricourne/emacswiki.org
The official Emacswiki repository
IvantheTricourne/flow
Adds static typing to JavaScript to improve developer productivity and code quality.
IvantheTricourne/foam-eng
FOAM engineering assignment
IvantheTricourne/Gentzen-Prover
A basic proof assistant for the Gentzen I System
IvantheTricourne/haskell-opaleye
IvantheTricourne/HomotopyTypeTheory
From Indiana University's Homotopy Type Theory course, CSCI-B629 Spring 2016
IvantheTricourne/jekyll-now
Build a Jekyll blog in minutes, without touching the command line.
IvantheTricourne/leiningen
Automate Clojure projects without setting your hair on fire.
IvantheTricourne/Mayflash-F500-Mixbox-Panel
Vector files for a DIY mixbox arcade controller mod for Mayflash F500
IvantheTricourne/minikanren-confo
core.logic.nominal at the minikanren confo 2013
IvantheTricourne/Name-Tag-Generator
Final project from Indiana University's course, Advanced functional programming,CSCI-B490 Spring 2016
IvantheTricourne/project-arwing
A swiss-army knife for SSBM Fox Mains
IvantheTricourne/project-clippi
Project Clippi is an automation framework for Super Smash Bros. Melee. Detect an event → execute an action.
IvantheTricourne/project-slippi
Project for building a replay/metadata infrastructure for Super Smash Bros Melee
IvantheTricourne/proto3-wire
IvantheTricourne/slippi-renamer
Rename Slippi files with the characters, tags, and stage.
IvantheTricourne/slp-realtime
Realtime slp parsing library focused on speed and efficiency.
IvantheTricourne/Trie-Racket
Trie data structure API in Racket
IvantheTricourne/Type-Theory-Paper
Work with Daniel P. Friedman (Summer 2015) on Dependent Types and Martin-Löf Type Theory
IvantheTricourne/video-clipping-tool
split an mp4 and then combine the result