A PhD in EECS at UC Irvine on specification and runtime verification of multiprocessor systems (architectures, languages and specification mining).
Highlights
- Pro
Lists (18)
Sort Name ascending (A-Z)
Algorithms and SW Engineering
20 repositories
Clouds/Networks/Distributed Syst
234 repositories
Crypto and Blockchain
26 repositories
Cybersecurity
92 repositories
Databases
47 repositories
EDA
2 repositories
Finance
31 repositories
HPC
24 repositories
IoT/Embedded
13 repositories
LLMs
31 repositories
Machine Learning
132 repositories
Operating Systems
15 repositories
Programming Languages, Compilers
123 repositories
Quantum
15 repositories
Robotics and Optimization
65 repositories
Utilities
22 repositories
Visualization
38 repositories
Web Dev
142 repositories
- All languages
- ANTLR
- C
- C#
- C++
- CMake
- CSS
- CoffeeScript
- Cuda
- Cython
- Dart
- Dockerfile
- Go
- HTML
- Haskell
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- LLVM
- Lua
- MATLAB
- MDX
- Markdown
- Mustache
- OCaml
- Objective-C
- OpenQASM
- PHP
- PowerShell
- Prolog
- Pug
- Python
- Roff
- Ruby
- Rust
- SCSS
- Scala
- Shell
- Starlark
- Swift
- TeX
- TypeScript
- Verilog
Starred repositories
4
stars
written in TeX
Clear filter
The most cited deep learning papers
Latex code for making neural networks diagrams
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source