Nada Amin

icon indicating a website link http://namin.org icon indicating an email [email protected]

icon company Harvard University icon location Cambridge, MA icon location Assistant Professor of Computer Science

Results 27 repositories owned by Nada Amin

dafny-sandbox

21
Stars
1
Forks
Watchers

Dafny for Metatheory of Programming Languages

verified publisher icon namin

grk2clj

17
Stars
0
Forks
Watchers

From Greek to Clojure, Clojure/conj 2013

verified publisher icon namin

lambdajam

24
Stars
6
Forks
Watchers

Workshop on Program Transformations

verified publisher icon namin

leanTAP

25
Stars
2
Forks
Watchers

A Declarative Theorem Prover for First-Order Classical Logic

verified publisher icon namin

lms-black

27
Stars
4
Forks
Watchers

purple: compiling a reflective language

verified publisher icon namin

lms-sandbox

19
Stars
2
Forks
Watchers

Graduated to js.scala: JavaScript as an embedded DSL in Scala

verified publisher icon namin

lms-verify

30
Stars
5
Forks
Watchers

generative programming & verification

verified publisher icon namin

lua

16
Stars
1
Forks
Watchers

reading and understanding the lua source code

verified publisher icon namin

metamk

31
Stars
4
Forks
Watchers

Meta-Interpreters in miniKanren

verified publisher icon namin

metaprogramming

55
Stars
11
Forks
Watchers

Course on Metaprogramming

verified publisher icon namin