Stars
- All languages
- ANTLR
- Agda
- Arduino
- Assembly
- BASIC
- C
- C#
- C++
- CSS
- Clojure
- Coq
- Cuda
- Dockerfile
- Emacs Lisp
- Erlang
- F#
- Go
- HTML
- Haskell
- Idris
- Java
- JavaScript
- Jupyter Notebook
- LLVM
- Lean
- Lua
- Mercury
- Nim
- Nix
- OCaml
- Objective-C
- PHP
- Pascal
- PostScript
- PowerShell
- Python
- Racket
- Ruby
- Rust
- Scala
- Shell
- Standard ML
- Swift
- TeX
- TypeScript
- Vim Script
- XSLT
A command-line productivity tool powered by AI large language models like GPT-4, will help you accomplish your tasks faster and more efficiently.
Tooling for professional robotic development in C++ and Python with a touch of ROS, autonomous driving and aerospace.
🦥 Supercharge your Haskell experience in neovim!
Docker image with GHC+musl for static executables
🌈 Haskell CLI Framework supporting Command Line Interface Guidelines
Guide to securing and improving privacy on macOS
A visual catalogue + story of morphisms displayed across computational structures.
SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!
C# functional language extensions - a base class library for functional programming
The core of xmonad, a small but functional ICCCM-compliant tiling window manager
ripgrep recursively searches directories for a regex pattern while respecting your gitignore
A simple, fast and user-friendly alternative to 'find'
An example of a fully custom Emacs configuration developed live on YouTube!
🙃 A delightful community-driven (with 2,300+ contributors) framework for managing your zsh configuration. Includes 300+ optional plugins (rails, git, macOS, hub, docker, homebrew, node, php, python…
A collection of ZSH frameworks, plugins, themes and tutorials.
📋 An async & low-level windows clipboard service implementation for .NET, C#
A list of useful payloads and bypass for Web Application Security and Pentest/CTF
SecLists is the security tester's companion. It's a collection of multiple types of lists used during security assessments, collected in one place. List types include usernames, passwords, URLs, se…