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 28 repositories owned by Nada Amin

biohacker

42
Stars
8
Forks
Watchers

debugging biological networks to reach coherence, completeness and consistency

verified publisher icon namin

clpsmt-miniKanren

36
Stars
8
Forks
Watchers

CLP(SMT) on top of miniKanren

verified publisher icon namin

inc

894
Stars
109
Forks
Watchers

an incremental approach to compiler construction

verified publisher icon namin

logically

113
Stars
9
Forks
Watchers

explorations in core.logic

verified publisher icon namin

staged-miniKanren

122
Stars
16
Forks
Watchers

staged relational interpreters: running with holes, faster

verified publisher icon namin

dot

153
Stars
12
Forks
Watchers

formalization of the Dependent Object Types (DOT) calculus

verified publisher icon namin

io.livecode.ch

135
Stars
7
Forks
Watchers

interactive programming tutorials, powered by Github and Docker

verified publisher icon namin

unsound

74
Stars
4
Forks
Watchers

Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala

verified publisher icon namin

blond

15
Stars
1
Forks
Watchers

the reflective tower Blond by Olivier Danvy & Karoline Malmkjær

verified publisher icon namin

clpset-miniKanren

20
Stars
4
Forks
Watchers

CLP(Set) in miniKanren

verified publisher icon namin