mostly Rust programmer; using mostly Gentoo Linux and a few others; math student (previously at TUC) at RWTH Aachen; make more infra.
- All languages
- ASL
- Agda
- Assembly
- Brainfuck
- C
- C#
- C++
- CMake
- Coq
- Cuda
- Dart
- Dhall
- Dockerfile
- Elixir
- Emacs Lisp
- Flix
- Fluent
- Go
- Grace
- HLSL
- HTML
- Haskell
- Idris
- JSON
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Lua
- Makefile
- Nix
- Nunjucks
- OCaml
- OpenSCAD
- PHP
- PLpgSQL
- Perl
- PowerShell
- PureScript
- Python
- RenderScript
- Rocq Prover
- Roff
- Ruby
- Rust
- Sass
- Scala
- Shell
- Standard ML
- Tcl
- TeX
- TypeScript
- Typst
- Verilog
- Vim Script
- Vue
- Zig
- jq
Starred repositories
4
stars
written in PHP
Clear filter
Parser for Markdown and Markdown Extra derived from the original Markdown.pl by John Gruber.