Nada Amin
Results
27
repositories owned by
Nada Amin
biohacker
42
Stars
8
Forks
Watchers
debugging biological networks to reach coherence, completeness and consistency
clpsmt-miniKanren
36
Stars
8
Forks
Watchers
CLP(SMT) on top of miniKanren
inc
894
Stars
109
Forks
Watchers
an incremental approach to compiler construction
logically
113
Stars
9
Forks
Watchers
explorations in core.logic
staged-miniKanren
122
Stars
16
Forks
Watchers
staged relational interpreters: running with holes, faster
dot
153
Stars
12
Forks
Watchers
formalization of the Dependent Object Types (DOT) calculus
io.livecode.ch
135
Stars
7
Forks
Watchers
interactive programming tutorials, powered by Github and Docker
unsound
74
Stars
4
Forks
Watchers
Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala
blond
15
Stars
1
Forks
Watchers
the reflective tower Blond by Olivier Danvy & Karoline Malmkjær
clpset-miniKanren
20
Stars
4
Forks
Watchers
CLP(Set) in miniKanren