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
- TeX
- Tree-sitter Query
- TypeScript
- V
- Vala
- Vim Script
- Vue
- Zig
Starred repositories
2
stars
written in Dart
Clear filter
Bring projects, wikis, and teams together with AI. AppFlowy is the AI collaborative workspace where you achieve more without losing control of your data. The leading open source Notion alternative.
The projects and the materials that accompany the Dart Apprentice book