- Auckland, New Zealand
-
08:07
(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
ShellCheck, a static analysis tool for shell scripts
A strongly-typed language that compiles to JavaScript
Compiler for Elm, a functional language for reliable webapps.
A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line.
Official Haskell IDE support via the language server protocol (LSP)
Agda is a dependently typed programming language / interactive theorem prover.
Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens
A multilingual package manager for Arch Linux and the AUR.
Official upstream development repository for Cabal and cabal-install
Haskell library for building declarative animations based on SVG graphics
Industrial-strength monadic parser combinator library
Hackage-Server: A Haskell Package Repository
An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.
Haskell library for space- and time-efficient operations over Unicode text.
A Haskell library for line input in command-line programs.
Website for hosting and searching PureScript API documentation
Haskell library for command line argument processing