Stars
- All languages
- Assembly
- C
- C#
- C++
- CMake
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Cython
- Dockerfile
- Elixir
- Emacs Lisp
- Erlang
- F#
- F*
- Go
- HTML
- Haskell
- Haxe
- Java
- JavaScript
- JetBrains MPS
- Kotlin
- LLVM
- Lua
- Makefile
- Markdown
- MoonScript
- Nim
- OCaml
- Objective-C
- Objective-C++
- PHP
- Perl
- Perl 6
- Python
- Racket
- ReScript
- Red
- Rich Text Format
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- Scala
- Scheme
- Shell
- Standard ML
- Swift
- TeX
- TypeScript
- Vala
- Vim Script
- Wren
- XSLT
- Zig
Browse media content with your own rules on Android TV
Cross platform GUI toolkit in Go inspired by Material Design
👾 Fast and simple video download library and CLI tool written in Go
🗂️A file list/WebDAV program that supports multiple storages, powered by Gin and Solidjs. / 一个支持多存储的文件列表/WebDAV程序,使用 Gin 和 Solidjs。
Work with remote images registries - retrieving information, images, signing content
A single-header ANSI C immediate mode cross-platform GUI library
Podman: A tool for managing OCI containers and pods.
Web page for IU Compiler Course for Fall 2020
AriaNg, a modern web frontend making aria2 easier to use.
Haskell job queue with admin UI and loads of other features.
LambdaNative is a cross-platform development environment written in Scheme, supporting Android, iOS, BlackBerry 10, OS X, Linux, Windows, OpenBSD, NetBSD, FreeBSD and OpenWrt.
Community guide to securing and improving privacy on macOS.
Integrate Telegram into your workflow – Trello, Gitlab, Bitbucket and other bots
Repo for counting stars and contributing. Press F to pay respect to glorious developers.
iSimulator is a GUI utility to control the Simulator, and manage the app installed on the simulator.
An uroboros program with 100+ programming languages
The Eta Programming Language, a dialect of Haskell on the JVM
Agda is a dependently typed programming language / interactive theorem prover.