Lists (1)
Sort Name ascending (A-Z)
Stars
- All languages
- Ada
- Assembly
- AutoIt
- Batchfile
- C
- C#
- C++
- CSS
- Clojure
- Common Lisp
- Dart
- Emacs Lisp
- F#
- F*
- Go
- HTML
- Haskell
- Hy
- Isabelle
- Jai
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Lua
- Makefile
- Markdown
- Mathematica
- Mercury
- Nim
- Nix
- Pascal
- PowerShell
- Python
- QML
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- Scheme
- Shell
- SystemVerilog
- TeX
- TypeScript
- Vim Script
- Zig
Security Research from the Microsoft Security Response Center (MSRC)
Tabby Web - an SSH/Telnet/Serial client in your browser.
AlphaGo Moment for Model Architecture Discovery.
Math & CS Awesome List, distinguished by proof and logic and technique
Emerge is a browser-based interactive codebase and dependency visualization tool for many different programming languages. It supports some basic code quality and graph metrics and provides a simpl…
Download stuff from PH the easy way.
Example configurations and scripts for Qtile
🎶 Spotify artist and song module for Polybar
Backbone of the deSEC Free Secure DNS Hosting Service
Enlighten Progress Bar for Python Console Apps
Dialect of Python with explicit variable declaration and block scoping, with a lightweight and easy-to-embed bytecode compiler and interpreter.
Server code for https://www.peeringdb.com/
repo - The Multiple Git Repository Tool - (mirror of https://gerrit.googlesource.com/git-repo)
A command line interface for The Pirate Bay
A user-friendly GUI for the ZSpotify music downloader.
Toolbox for analyzing and editing pkg application files for psp,ps3, ps4 and ps5, includes the most useful functions you might need.
Gentoo Manifest Tool — a stand-alone utility to verify & update Manifests
[MIRROR] Collection of administration scripts for Gentoo