I research the theory and practice of programming languages and formal methods @nuprl, also as a full-time programming languages researcher at STR.
- Boston, Massachusetts
- nyazdani.com
- @nate_yazdani
Block or Report
Block or report nateyazdani
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePopular repositories Loading
-
rosette-demos
rosette-demos PublicBasic synthesis and verification demonstrations using Rosette
Racket 1
-
linux
linux PublicForked from torvalds/linux
Personal Linux development repository. Feel free to inspect & comment!
C
-
primer
primer PublicA nifty little tool to automate hybrid graphics under Linux (requires the open-source/Gallium3D drivers & systemd)
C
-
-
statscache
statscache PublicForked from fedora-infra/statscache
A daemon to build and keep fedmsg statistics
JavaScript
-
statscache_plugins
statscache_plugins PublicForked from fedora-infra/statscache_plugins
Plugins for the statscache daemon.
Python
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.