Enrique Naudon's repositories

keylogger

a kernel-based keylogger for the linux kernel (v2.6.38)

calculator

iphone calculator app for mobile computing (cs281)

Language:Objective-CStargazers:2Issues:2Issues:0

intent_mutator

Android Intent Mutation Service

Language:JavaStargazers:2Issues:0Issues:0
Language:CStargazers:1Issues:3Issues:0
Language:OCamlLicense:MITStargazers:1Issues:1Issues:0

intent_mutator_test

Simple test app for the Android intent mutator

Language:JavaStargazers:1Issues:0Issues:0

TAPL

Types and Programming Languages

Language:OCamlStargazers:1Issues:0Issues:0

bogoscheme

An interpreter for a simplified version of Scheme

Language:OCamlStargazers:0Issues:0Issues:0

hex2raw

32-bit Linux asm program that converts ASCII-encoded hex to raw binary.

Language:AssemblyStargazers:0Issues:2Issues:1

hotcw

How the OCaml Type Checker Works

Language:OCamlStargazers:0Issues:0Issues:0

incremental-tutorial

A tutorial on Incremental, originally for CUFP 2017

Language:OCamlStargazers:0Issues:0Issues:0

nbites

The Northern Bites RoboCup Soccer Package

Language:C++Stargazers:0Issues:2Issues:0
Language:OCamlStargazers:0Issues:2Issues:0

SFL

A simple, functional programming language

Language:OCamlLicense:GPL-3.0Stargazers:0Issues:0Issues:0