namin
Follow
Assistant Professor of Computer Science
-
Harvard University
- Cambridge, MA
- http://namin.org
Stars
- All languages
- Agda
- Assembly
- Awk
- Bluespec
- C
- C#
- C++
- CSS
- CWeb
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Dafny
- Elm
- Emacs Lisp
- Erlang
- F*
- Forth
- Fortran
- Go
- HTML
- Haskell
- Idris
- Isabelle
- Java
- JavaScript
- JetBrains MPS
- Julia
- Jupyter Notebook
- Kotlin
- Lean
- Lua
- Makefile
- Markdown
- NewLisp
- OCaml
- Objective-C
- Pascal
- Perl
- Prolog
- Pure Data
- Python
- R
- Racket
- Rascal
- Ruby
- Rust
- SCSS
- SMT
- SWIG
- Scala
- Scheme
- Shell
- Slash
- Smarty
- Standard ML
- Swift
- TeX
- TypeScript
- UrWeb
- VHDL
- Verilog
0
results
for mirror starred repositories
written in Jupyter Notebook
Clear filter