ivanthetricourne Goto Github PK
Name: Carl Factora
Type: User
Company: @f-o-a-m
Bio: NullPointerException
Location: New York NY
Blog: ivanthetricourne.io
Name: Carl Factora
Type: User
Company: @f-o-a-m
Bio: NullPointerException
Location: New York NY
Blog: ivanthetricourne.io
Nominal logic programming extensions to miniKanren, based on alphaProlog.
Clojure JSON and JSON SMILE (binary json format) encoding/decoding
generate a clip file via VLC http
An simple webapp for visualizing a set count
The official Emacswiki repository
Adds static typing to JavaScript to improve developer productivity and code quality.
FOAM engineering assignment
A basic proof assistant for the Gentzen I System
From Indiana University's Homotopy Type Theory course, CSCI-B629 Spring 2016
Blogs, Projects and Toys
Build a Jekyll blog in minutes, without touching the command line.
Automate Clojure projects without setting your hair on fire.
Vector files for a DIY mixbox arcade controller mod for Mayflash F500
core.logic.nominal at the minikanren confo 2013
Trying my hand at animations.
Final project from Indiana University's course, Advanced functional programming,CSCI-B490 Spring 2016
A swiss-army knife for SSBM Fox Mains
Project Clippi is an automation framework for Super Smash Bros. Melee. Detect an event β execute an action.
Project for building a replay/metadata infrastructure for Super Smash Bros Melee
From Indiana University's Compilers course, Spring 2015
Rename Slippi files with the characters, tags, and stage.
A collection of Slippi scripts and other vaguely useful things.
Realtime slp parsing library focused on speed and efficiency.
Trie data structure API in Racket
Work with Daniel P. Friedman (Summer 2015) on Dependent Types and Martin-LΓΆf Type Theory
split an mp4 and then combine the result
A declarative, efficient, and flexible JavaScript library for building user interfaces.
π Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. πππ
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google β€οΈ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.