- Auckland, New Zealand
-
13:41
(UTC +13:00) - severen.dev
- in/severen
- @severen.dev
Lists (10)
Sort Name ascending (A-Z)
Developer Tools
Useful developer tooling.Emacs
Emacs packages and libraries.Fonts
Cool fonts.Game Development and Graphics
Programs, libraries and tools pertaining to game development and graphics.Libraries
Useful libraries.Maths
Anything related to mathematics.Minecraft
Minecraft mods and tools.Programming Languages
Anything related to programming languages (theory, design, and implementation).- All languages
- Adblock Filter List
- Agda
- Assembly
- Batchfile
- C
- C#
- C++
- CMake
- CSS
- Clojure
- Dart
- Dhall
- Dockerfile
- Elixir
- Emacs Lisp
- Erlang
- Fennel
- Go
- HTML
- Haml
- Handlebars
- Haskell
- Idris
- Java
- JavaScript
- Julia
- Koka
- Kotlin
- Lean
- Lua
- Markdown
- Meson
- Nix
- OCaml
- Perl
- PowerShell
- Python
- Racket
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- Scala
- Scheme
- Shell
- TeX
- Tree-sitter Query
- TypeScript
- Valve Data Format
- Vim Script
- WebAssembly
- Zig
Starred repositories
A fast usermode x86 and x86-64 emulator for Arm64 Linux
A high-level, ergonomic Rust library for creating PDF documents.
A datetime library for Rust that encourages you to jump into the pit of success.
A command line tool for datetime arithmetic, parsing, formatting and more.
A high-performance observability data pipeline.
A flexible distributed key-value database that is optimized for caching and other realtime workloads.
Painless compression and decompression in the terminal
❌ Cargo plugin for linting your dependencies 🦀
📜 Cargo plugin to generate list of all licenses for a crate 🦀
A jq clone focussed on correctness, speed, and simplicity
A lightweight WebAssembly runtime that is fast, secure, and standards-compliant
Scan your Rust crate for semver violations.
An expanded Adwaita-styled companion icon theme with extra icons for popular apps and MIME types to complement Gnome Shell's original icons.
💥 Blazing fast terminal file manager written in Rust, based on async I/O.
Render markdown on the CLI, with pizzazz! 💅🏻
Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.
👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.
Extend Gnome Shell with advanced tiling window management. Supports multiple monitors, Windows 11 Snap Assistant, Fancy Zones, customised tiling layouts and more.