Research Engineer in Cryptography. Post-quantum cryptography and agentic engineering.
-
EY
- London, England
-
13:09
(UTC +01:00) - https://jtcoolen.github.io
Stars
- All languages
- Ada
- Aiken
- Assembly
- C
- C#
- C++
- CMake
- CSS
- Cairo
- Circom
- Clojure
- Common Lisp
- Coq
- Cuda
- Dafny
- Elixir
- F#
- F*
- Futhark
- GAP
- Go
- HTML
- Haskell
- JavaScript
- Julia
- Jupyter Notebook
- Koka
- LLVM
- Lean
- Makefile
- Mathematica
- Nim
- Nix
- OCaml
- Objective-C
- OpenQASM
- Python
- ReScript
- Reason
- Rocq Prover
- Roff
- Rust
- SCSS
- SMT
- Scheme
- Shell
- Sieve
- Solidity
- Standard ML
- Starlark
- SystemVerilog
- TLA
- TeX
- TypeScript
- WebAssembly
- Zig
- eC
1
star
written in CMake
Clear filter
🚀 Kick-start your C++! A template for modern C++ projects using CMake, CI, code coverage, clang-format, reproducible dependency management and much more.