Pinned Repositories
elm-random-sample
Randomized functions on the Array data structure in Elm.
flow
Adds static typing to JavaScript to improve developer productivity and code quality.
games
Various small flash games
ka-checker
macrotypes
mttex
A LaTeX package for formatting meta-theory.
react-nine-patch
An Android nine-patch image component for the React web framework.
Typed-Closure-Conversion
A closure converting STLC-to-System F compiler written in F#.
nrioux's Repositories
nrioux/Typed-Closure-Conversion
A closure converting STLC-to-System F compiler written in F#.
nrioux/elm-random-sample
Randomized functions on the Array data structure in Elm.
nrioux/flow
Adds static typing to JavaScript to improve developer productivity and code quality.
nrioux/games
Various small flash games
nrioux/ka-checker
nrioux/macrotypes
nrioux/mttex
A LaTeX package for formatting meta-theory.
nrioux/react-nine-patch
An Android nine-patch image component for the React web framework.
nrioux/SuperPaws
Enhancements for MyNEU
nrioux/welcome-mat
Dope transferable virtual keythings