Postdoc at EPFL in the Verification and Computer Architecture lab.
-
EPFL
- Lausanne
-
00:56
(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
- Rocq Prover
- Rust
- SCSS
- Sail
- Scala
- Scheme
- Shell
- Standard ML
- Swift
- SystemVerilog
- TeX
- VHDL
- Verilog
- Vim Script
- Yacc
1
star
written in Elixir
Clear filter
Mastermind game with two settings. You can play the game yourself via the console or have the Genetic Algorithm play it for you (guesses in average ~4 steps) and crush your self-confidence.