Enrique Naudon's repositories
calculator
iphone calculator app for mobile computing (cs281)
intent_mutator
Android Intent Mutation Service
intent_mutator_test
Simple test app for the Android intent mutator
bogoscheme
An interpreter for a simplified version of Scheme
Language:OCaml000
hotcw
How the OCaml Type Checker Works
Language:OCaml000
incremental-tutorial
A tutorial on Incremental, originally for CUFP 2017
Language:OCaml000
SFL
A simple, functional programming language
Language:OCamlGPL-3.0000