Main Page: Difference between revisions
mNo edit summary |
Tag: Reverted |
||
Line 14: | Line 14: | ||
* [https://github.com/Z3Prover/z3 Z3] | * [https://github.com/Z3Prover/z3 Z3] | ||
* [https://coq.inria.fr/ Coq] | * [https://coq.inria.fr/ Coq] | ||
Other languages I am eyeing on: | |||
* [https://ziglang.org/ Zig], ''compile-time duck typing'' which can implement some dependent types in a language, surprise, which aims to replace C | |||
== Research Projects == | == Research Projects == |
Revision as of 21:03, 29 April 2023
whoami
A PhD student at University of Rochester, CS Department. Currently working with Prof. Sreepathi Pai.
You can read some Blogs. There might also be some linked knowledge.
Technology Stack
I use Haskell, Rust, and Julia extensively. For systems scripting, I go for Ruby or Python. Should I need anything really low level, I use C. For hardware, I use Verilog.
Currently also interested in:
Other languages I am eyeing on:
- Zig, compile-time duck typing which can implement some dependent types in a language, surprise, which aims to replace C
Research Projects
Other Projects
- Mad Scientist Carl’s Core, a RISC-V RV32I M-privilege softcore on Artix 7
- gqlforum-rs, an experimental full-stack Rust forum (not to be used in production)