programming language freak.
My opinions are my own.
- All languages
- Agda
- Assembly
- C
- C++
- CSS
- Common Lisp
- Coq
- Dockerfile
- Elixir
- Elm
- Erlang
- F#
- F*
- Flix
- Go
- HTML
- Haskell
- Isabelle
- Java
- JavaScript
- Jupyter Notebook
- Koka
- Kotlin
- Lean
- Lua
- Makefile
- Markdown
- Mercury
- MoonBit
- Nim
- Nix
- Nushell
- OCaml
- Objective-C
- PHP
- Python
- QML
- ReScript
- Reason
- Rocq Prover
- Rust
- SCSS
- Scala
- Scheme
- Shell
- Smarty
- Standard ML
- TypeScript
- V
- Vim Script
- Vue
- WebAssembly
Starred repositories
8
stars
written in Shell
Clear filter
Papers from the computer science community to read and discuss.
Claude Code is an agentic coding tool that lives in your terminal, understands your codebase, and helps you code faster by executing routine tasks, explaining complex code, and handling git workflo…
Linux 🐧 configuration based on NixOS ❄️, Hyprland, and Catppuccin Macchiato theme 😸 for a consistent, complete, and customizable experience. 🚀
Tsurugi - next generation RDB for the new era
A test opam overlay containing packages compatible with the next release of the OCaml compiler