Postdoc at EPFL in the Verification and Computer Architecture lab.
-
EPFL
- Lausanne
-
16:29
(UTC +01:00) - https://yannherklotz.com
- https://orcid.org/0000-0002-2329-1029
Highlights
- Pro
Stars
- All languages
- Agda
- Bluespec
- C
- C#
- C++
- CMake
- CSS
- Clojure
- Common Lisp
- Coq
- Dart
- Elixir
- Emacs Lisp
- Erlang
- F#
- GLSL
- Go
- HTML
- Haskell
- Idris
- Isabelle
- Java
- JavaScript
- Julia
- Jupyter Notebook
- LLVM
- Lean
- Nix
- OCaml
- Org
- Prolog
- Python
- Rust
- SCSS
- Scala
- Scheme
- Shell
- Standard ML
- Swift
- SystemVerilog
- TeX
- VHDL
- Verilog
- Vim Script
- Yacc
0
results
for mirror starred repositories
Clear filter