Software Engineer (Scala/Python/R), building distributed/concurrent applications. Interested in using formal verification methods in business applications.
- All languages
- Agda
- Alloy
- Astro
- BibTeX Style
- C
- C#
- C++
- CSS
- Clojure
- Common Lisp
- Coq
- D
- Dart
- Dockerfile
- Elixir
- Emacs Lisp
- Erlang
- F#
- F*
- Fennel
- Flix
- Fluent
- Fortran
- GLSL
- Go
- HTML
- Handlebars
- Haskell
- Idris
- Isabelle
- Java
- JavaScript
- JetBrains MPS
- Julia
- Jupyter Notebook
- Kotlin
- Lean
- Lua
- MDX
- Makefile
- Markdown
- MiniZinc
- Nim
- Nix
- OCaml
- Odin
- Oz
- Perl
- Prolog
- Python
- R
- RMarkdown
- Racket
- ReScript
- Rez
- Rocq Prover
- Ruby
- Rust
- SCSS
- Scala
- Scheme
- Shell
- Smalltalk
- Standard ML
- StringTemplate
- TLA
- TSQL
- TeX
- Tree-sitter Query
- TypeScript
- V
- Vala
- Vim Script
- Vue
- Zig
Starred repositories
1
star
written in V
Clear filter