#
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
10
stars
written in Haskell
Clear filter
Haskell to VHDL/Verilog/SystemVerilog compiler
Formal semantics of BSV (Bluespec SystemVerilog), given as a Haskell Program and accompanying document
Implementation of the rsync algorithm in pure Java and Haskell