Ph.D. Student @ MPI-SWS / Formal Verification / Distributed Systems / Concurrency Theory
- Germany
- joulook.github.io
- @Mh_khoshechin
Highlights
- Pro
Lists (1)
Sort Name ascending (A-Z)
Stars
- All languages
- Agda
- Assembly
- Boogie
- C
- C#
- C++
- CSS
- Clojure
- CodeQL
- Coq
- Emacs Lisp
- Erlang
- F#
- Go
- HTML
- Haskell
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Makefile
- OCaml
- Prolog
- Promela
- Python
- Racket
- Reason
- Rocq Prover
- Rust
- SCSS
- SMT
- Scala
- Standard ML
- SystemVerilog
- TLA
- TeX
- TypeScript
- Typst
- Verilog
- XSLT
1
star
written in LLVM
Clear filter