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 OCaml
Clear filter
A static analyzer for Java, C, C++, and Objective-C
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 develo…
A toolkit for embedding VPN capabilities in your application