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

metasolfeggio

40
Stars
6
Forks
Watchers

computer-aided harmony and counterpoint

verified publisher icon namin

minikanren-confo

17
Stars
3
Forks
Watchers

core.logic.nominal at the minikanren confo 2013

verified publisher icon namin

reflection-schemes

20
Stars
2
Forks
Watchers

exploration of reflective architectures in Scheme

verified publisher icon namin

pink

52
Stars
3
Forks
Watchers

Collapsing Towers of Interpreters (in Scheme)

verified publisher icon namin

scalogno

40
Stars
9
Forks
Watchers

prototyping logic programming in Scala

verified publisher icon namin

llm-verified-with-monte-carlo-tree-search

195
Stars
22
Forks
Watchers

LLM verified with Monte Carlo Tree Search

verified publisher icon namin

linkrev

15
Stars
2
Forks
Watchers

verified publisher icon namin