🎹
Software developer in love with types and functional programming, videogame enthusiast, and frustrated musician. I also love cooking!
Highlights
- Pro
Lists (5)
Sort Name ascending (A-Z)
Stars
- All languages
- Assembly
- C
- C#
- C++
- Clojure
- Coq
- Cuda
- Dockerfile
- Elixir
- Elm
- Emacs Lisp
- Erlang
- GDScript
- Game Maker Language
- Go
- HTML
- Haskell
- Idris
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- Lean
- Lua
- Makefile
- Markdown
- Nix
- Nushell
- OCaml
- Python
- Racket
- Ruby
- Rust
- Shell
- Svelte
- TeX
- TypeScript
- Typst
- Vim Script
- YASnippet
- Yacc
- jq
6
stars
written in Shell
Clear filter
Fish-like autosuggestions for zsh
🖼️ A command-line system information tool written in bash 3.2+
A collection of ZSH frameworks, plugins, themes and tutorials.
💥 A curated list of Terminal frameworks, plugins & resources for CLI lovers.
A huge collection of polybar themes with different styles, colors and variants.