#
-
Max Planck Institute for Informatics
- European Union
-
07:47
(UTC +01:00) - lorenz.leutgeb.xyz
- https://orcid.org/0000-0003-0391-3430
- @lorenzleutgeb@mastodon.social
- in/lorenzleutgeb
Highlights
- Pro
Lists (4)
Sort Name ascending (A-Z)
- All languages
- Agda
- C
- C#
- C++
- CSS
- Classic ASP
- Clojure
- CoffeeScript
- Coq
- Cuda
- Dockerfile
- Emacs Lisp
- Go
- Groovy
- HTML
- Haskell
- Idris
- Isabelle
- Java
- JavaScript
- JetBrains MPS
- Julia
- Jupyter Notebook
- KakouneScript
- Kotlin
- Lean
- NCL
- Nix
- OCaml
- PHP
- PLpgSQL
- Perl
- PureScript
- Python
- R
- Ruby
- Rust
- SMT
- Scala
- Scheme
- Shell
- Standard ML
- TeX
- TypeScript
- Vim Script
- WebAssembly
- Zig
Starred repositories
2
stars
written in PureScript
Clear filter
Keep track of your π΅, π, π, π, π» on your command line with the plain text accounting tool of the future! π
Practicing new languages by solving Advent of Code puzzles