Highlights
- Pro
Lists (2)
Sort Name ascending (A-Z)
Stars
- All languages
- Agda
- Assembly
- C
- C#
- C++
- CMake
- CSS
- Clojure
- Common Lisp
- Dart
- Elixir
- Erlang
- Go
- Groovy
- HTML
- Haskell
- Java
- JavaScript
- Jsonnet
- Jupyter Notebook
- Kotlin
- LLVM
- Lua
- MLIR
- OCaml
- Objective-C
- PHP
- Perl
- PowerShell
- Python
- Racket
- Reason
- Roff
- Ruby
- Rust
- SCSS
- Scala
- Shell
- Stylus
- Swift
- SystemVerilog
- TeX
- TypeScript
- Typst
- Vim Script
- Vue
GlobalBuildingAtlas: an open global and complete dataset of building polygons, heights and LoD1 3D models
☄🌌️ The minimal, blazing-fast, and infinitely customizable prompt for any shell!
arXiv LaTeX Cleaner: Easily clean the LaTeX code of your paper to submit to arXiv
A mod providing Cities XL like surface filling tool in Cities Skylines2
A Cities: Skylines II mod for showing off your builds
Plugin for Lightroom to show which focus point was active in the camera when a photo was taken
A debugging and profiling tool that can trace and visualize python code execution
Development repository for the Triton language and compiler
A typst wasm plugin to use graphviz directly inside documents
MaxMind's GeoIP2 GeoLite2 Country, City, and ASN databases
A tool for converting dictionary files aka glossaries. Mainly to help use our offline glossaries in any Open Source dictionary we like on any operating system / device.
A markup-based typesetting system that is powerful and easy to learn.
Make Zotero effective for us LaTeX holdouts
physica: vectors, fields, differentials, derivatives, Dirac brakets, tensors, and more. See examples in the manual PDF.
Enable macOS HiDPI and have a native setting.
The 7-Zip derivative intended for the modern Windows experience
A Chinese serif font derived from IPAmj Mincho. 一款衍生于「IPAmj明朝」的中文宋体字型。
A scalable overlay networking tool with a focus on performance, simplicity and security
ASN / RPKI validity / BGP stats / IPv4v6 / Prefix / URL / ASPath / Organization / IP reputation / IP geolocation / IP fingerprinting / Network recon / lookup API server / Web traceroute server
🔍 Quick file search & app launcher for Windows with community-made plugins
Bear is a tool that generates a compilation database for clang tooling.
Bash Line Editor―a line editor written in pure Bash with syntax highlighting, auto suggestions, vim modes, etc. for Bash interactive sessions.
Visual Studio Code extension to improve CJK (Chinese, Japanese, Korean) word handling.