#
PhD student at George Mason University and member of Cryptographic Engineering Research Group
- Fairfax, VA
- kamyar.xyz
Highlights
- Pro
- All languages
- ANTLR
- Assembly
- Batchfile
- Bluespec
- Boogie
- C
- C#
- C++
- Common Lisp
- Coq
- Dockerfile
- Eagle
- Emacs Lisp
- Fortran
- GLSL
- Go
- HTML
- Hack
- Haskell
- HolyC
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Lua
- MATLAB
- Makefile
- OCaml
- Objective-C
- PHP
- Perl
- Python
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- SMT
- Scala
- Shell
- SourcePawn
- Starlark
- Swift
- SystemVerilog
- Tcl
- TeX
- TypeScript
- VHDL
- Vala
- Verilog
- Vim Script
Starred repositories
8
stars
written in Makefile
Clear filter
Working draft of the proposed RISC-V Bitmanipulation extension
RISC-V Profiles and Platform Specification
A set of benchmarks chosen to show the energy consumption of embedded devices under different conditions
Binary releases of GCC (native and cross) on macOS; also, the scripts/Makefiles used for producing them.
Wrapper to Sipeed LicheeRV Nezha CM C906 boot0, opensbi, u-boot, kernel with tiny initramfs
openXC7 / prjxray-db
Forked from f4pga/prjxray-dbProject X-Ray Database: XC7 Series
Vhdl2sch stand for VHDL to (pdf) schematic converter
Project template for getting started with you blocks!