Beast code in Giters

Kavon Farvardin's repositories

interactive tool for the untyped λ-calculus

Language:Standard MLGPL-2.0200

Fast, quick and dirty bitcoin blockchain parser

Language:C++000

A remote sensor controller for iOS

Language:Objective-CGPL-3.0000

A password manager

Language:Java000

A simple filesystem proof of concept.

Language:CGPL-2.0000

Fork of the javax.media.j3d package

Language:JavaGPL-2.0002

Artifact of "Example-Directed Synthesis: A Type-Theoretic Implementation" by Frankle, Osera, Walker, and Zdancewic.

Language:F#000

(not mine) archive of the SALSA Pool paper + code from SPAA'12

Language:TeX010