Lists (1)
Sort Name ascending (A-Z)
- All languages
- Adblock Filter List
- Agda
- Alloy
- Assembly
- Awk
- Bikeshed
- Bison
- C
- C#
- C++
- CSS
- Clojure
- Common Lisp
- Coq
- Crystal
- Dart
- Dockerfile
- Elixir
- Emacs Lisp
- Erlang
- F*
- Fluent
- Forth
- Futhark
- Go
- HTML
- Haskell
- Idris
- Isabelle
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Lua
- Makefile
- Markdown
- OCaml
- Objective-C
- OpenSCAD
- Perl
- Perl 6
- PostScript
- PowerShell
- Prolog
- Python
- QMake
- Racket
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- Sail
- Shell
- Svelte
- Swift
- SystemVerilog
- TLA
- Tcl
- TeX
- TypeScript
- VHDL
- Vala
- Verilog
- Vim Script
- Visual Basic
- XSLT
- sed
Starred repositories
⚡️ Streaming torrent client for the web
Self-hosted audiobook and podcast server
Easy P2P file transfer powered by WebRTC - inspired by Apple AirDrop
🗺 MapSCII is a Braille & ASCII world map renderer for your console - enter => telnet mapscii.me <= on Mac (brew install telnet) and Linux, connect with PuTTY on Windows
KDE Connect implementation for GNOME
A global repository of open address, building, and parcel data.
video.js plugin for recording audio/video/image files
The Deadlock Empire: Slay dragons, learn concurrency!
A stupid game for learning about containers, capabilities, and syscalls.
Webbased image editor, modeled after the legendary Deluxe Paint with a focus on retro Amiga file formats: read and write Amiga icon files and IFF ILBM images
A framework for the elicitation, specification, formalization and analysis of requirements.
🦔 CLI for restoring the letter «ё» (yo) in russian texts
Interactive playground for exploring and sharing TLA+ specifications in the browser.
Native Mac man page editor with syntax coloring, mandoc syntax checking & live preview.
DeepBugs is a framework for learning bug detectors from an existing code corpus.
Free Tracks Optimizer Online Service
A tool to visualize distributed system logs
Application to manage FIT files such as those produced by Garmin fitness devices
Interactive Control Flow Graph Visualization.
Poor Man's CI - Hosted CI with shell scripting and duct tape