-
KTH Royal Institute of Technology
- Sweden
- https://segeljakt.github.io
- @KlasSegeljakt
Highlights
Lists (2)
Sort Name ascending (A-Z)
- All languages
- ANTLR
- Agda
- Assembly
- C
- C#
- C++
- CMake
- CSS
- Clojure
- Common Lisp
- Coq
- Crystal
- Cuda
- Dhall
- Elixir
- Emacs Lisp
- Erlang
- F*
- Fennel
- Flix
- Go
- HTML
- Handlebars
- Haskell
- Haxe
- Idris
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Lua
- MLIR
- Makefile
- Markdown
- Mathematica
- MiniZinc
- Mojo
- Monkey C
- Nim
- Nix
- OCaml
- Objective-C
- Objective-C++
- Oz
- PLpgSQL
- Pony
- Python
- Racket
- Reason
- Rocq Prover
- Ruby
- Rust
- SCSS
- Scala
- Scheme
- Shell
- Swift
- Tcl
- TeX
- Tree-sitter Query
- TypeScript
- V
- Vim Script
- Vim Snippet
- Zig
- sed
Starred repositories
πbash/POSIX-compatible shell implemented in Rust π¦
Bring your Launchpad back in MacOS26+ ,highly customizable, powerful, free.
Generate a timeline of your day, automatically
A collection of (mostly) technical things every software developer should know about
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β¦
Syncs inventory, ammo, and more of multiple players for a coop experience
Syncs inventory, ammo, and more of multiple players for a coop experience
A shell script utility that automatically resumes Claude CLI tasks when usage limits are lifted.
An transformer based LLM. Written completely in Rust
Make beautiful isometric infrastructure diagrams
Open-source implementation of AlphaEvolve
A Neovim plugin that display prettier diagnostic messages. Display diagnostic messages where the cursor is, with icons and colors.
An extremely fast Python linter and code formatter, written in Rust.
Context7 MCP Server -- Up-to-date code documentation for LLMs and AI code editors
A powerful coding agent toolkit providing semantic retrieval and editing capabilities (MCP server & other integrations)
A Rust crate for cooking up terminal user interfaces (TUIs) π¨βπ³π https://ratatui.rs