namin Goto Github PK
Name: Nada Amin
Type: User
Company: Harvard University
Bio: Assistant Professor of Computer Science
Location: Cambridge, MA
Blog: http://namin.org
Name: Nada Amin
Type: User
Company: Harvard University
Bio: Assistant Professor of Computer Science
Location: Cambridge, MA
Blog: http://namin.org
The Racket repository
An Introduction to Redex with Abstracting Abstract Machines
reflective architectures that instrument and reify the computation steps
exploration of reflective architectures in Scheme
software archaeology of reflective towers of interpreters
Relational implementation of the CESK machine
Relational version of parsing with derivatives code
Synthesis of simple virus-like programs via relational interpreter.
This is a library for "Overveld-style" constraint relaxation.
program synthesis with neuro-symbolic differentiable interpreters
reflection-oriented programming
Course Project in Synthesis, Analysis and Verification in Scala
The Scala programming language
Additional code relevant to creating a scala distribution.
Scala reflection playground, which implements Scala proxies
Library for deep embedding of DSLs based on Scala macros.
This project aim to developp support for music generation in Scala
scalastyle
Eclipse Plugin for Scalastyle
prototyping logic programming in Scala
Website for Scheme Workshop 2017
:skull: Mac app to block your own access to distracting websites etc for a predetermined period of time. It can not be undone by the app or by a restart – you must wait for the timer to run out.
prototyping self-optimizing systems
a prose experiment in learning S-expression manipulations
A simple interpreter featuring a tracing JIT
Scala framework for iterative and interactive cluster computing.
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.