Name: Nathaniel Yazdani
Type: User
Company: @nuprl
Bio: I research the theory and practice of programming languages and formal methods @nuprl, also as a full-time programming languages researcher at STR.
Twitter: nate_yazdani
Location: Boston, Massachusetts
Blog: nyazdani.com
antimony.rs
Rust bindings for the Antimony language of biochemical models.
atom-ide-reason
ReasonML/OCaml language support for Atom-IDE, using ocaml-language-server under the hood.
chameleon
A toy web rendering engine
compbio
Clone of Köksal et al.'s biological model synthesizer
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
cse501-project
My course project for CSE 501 (Implementation of Programming Languages) at UW.
fcsl-pcm
Partial Commutative Monoids
finmap
Finite sets, finite maps, multisets and order
haskellpp
Haskell++: Semantic interoperability between Haskell and C++
language-ocaml-fix
OCaml syntax definition for the Atom editor
linux
Personal Linux development repository. Feel free to inspect & comment!
nateyazdani.github.io
Academic website and blog
paramiko
Native Python SSHv2 protocol library
primer
A nifty little tool to automate hybrid graphics under Linux (requires the open-source/Gallium3D drivers & systemd)
rosette-demos
Basic synthesis and verification demonstrations using Rosette
spacemacs-coq
A Coq layer for Spacemacs
statscache
A daemon to build and keep fedmsg statistics
statscache_plugins
Plugins for the statscache daemon.
superconductor
Big data visualization on the web
tree-sitter-ocaml
OCaml grammar for tree-sitter
React
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
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
Django
The Web framework for perfectionists with deadlines.
Laravel
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.
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
Microsoft
Open source projects and samples from Microsoft.
Google
Google ❤️ Open Source for everyone.
Alibaba
Alibaba Open Source for everyone
D3
Data-Driven Documents codes.
Tencent
China tencent open source team.
