Lists (16)
Sort Name ascending (A-Z)
Stars
- All languages
- ATS
- Agda
- Awk
- C
- C#
- C++
- CSS
- Clojure
- Cuda
- Cython
- Dhall
- Dockerfile
- Emacs Lisp
- Frege
- Go
- HTML
- Haskell
- Idris
- Java
- JavaScript
- Jsonnet
- Jupyter Notebook
- KiCad Layout
- Koka
- Kotlin
- Lean
- Lua
- Markdown
- NCL
- Nix
- OCaml
- Objective-C
- PHP
- Prolog
- Python
- QML
- Racket
- ReScript
- Reason
- Red
- Rust
- SCSS
- Scala
- Shell
- Starlark
- Swift
- TSQL
- TeX
- TypeScript
- V
- Vala
- Vim Script
- Vue
- Yacc
- Zig
Automatic Nix development environments for your shell.
A fast type checker and language server for Python
Run Windows apps on 🐧 Linux with ✨ seamless integration
A collection of modern/faster/saner alternatives to common unix commands.
A collection of high-quality Lua scripts for the MPV player, designed to automate and enhance the viewing experience with smart skipping, subtitle selection, automatic profiles, and more.
💬 Command-line translator using Google Translate, Bing Translator, Yandex.Translate, etc.
Ai based nix help system from the command line.
GraphiQL & the GraphQL LSP Reference Ecosystem for building browser & IDE tools.
GIT utilities -- repo summary, repl, changelog population, author commit percentages and more
[mirror] - an options searcher for nix module systems
Powering Discord content discovery by making web pages from threads for some of the largest servers, including Valorant, Cloudflare, C#, and Nuxt.
TUI Application to manage Obsidian notes directly from the terminal
📖 A collection of pure bash alternatives to external processes.
A Vim plugin to copy text through SSH with OSC52
Browser extension that simplifies the GitHub interface and adds useful features
anyon_e, a highly integrated, high end, open source laptop. Attempt the impossible.
A TTS model capable of generating ultra-realistic dialogue in one pass.
de-pixelate youtube video gaV-O6NPWrI
A Manim plugin to animate common data structures and algorithms.
Generate impressive-looking terminal output to look busy when stakeholders walk by
plasTeX plugin to build formalization blueprints.
A statically-generated site to host my math course notes in university.
A Conversational Speech Generation Model
A collection of Beamer themes from the community