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
Portable Git(hub|lab|tea)/Forgejo/Bugzilla CLI tool
OSS-Fuzz - continuous fuzzing for open source software.
Radicale storage backends for Remind and Abook
A comprehensive line-by-line commentary on the UNIX Fourth Edition (1973) source code. Covers the kernel, file system, device drivers, shell, and utilities.
Public repository of the Micro QuickJS Javascript Engine
Public reference documents for the SMT-LIB standard
SPICE client with output in the Kitty Graphics protocol
Embedded GDB server implementation for 8-bit AVR MCU
Assignment repo for Systems Verification Fall 2024 at UW-Madison
LLVM-based, flexible, live coverage instrumentation for C/C++ code
mcp-language-server gives MCP enabled clients access semantic tools like get definition, references, rename, and diagnostics.
continuous file synchronization program (BEP protocol implementation)
Markdown source for Michael Abrash's Zen of Assembly Language (1990)
A simple calendar with events, customizable widgets and no ads.
an open source, extensible AI agent that goes beyond code suggestions - install, execute, edit, and test with any LLM
ActivityPub (https://www.w3.org/TR/activitypub/) server for individual users and small groups.
📚 Web app for browsing, reading and downloading eBooks stored in a Calibre database
Self-hosted audiobook and podcast server
Interactive Control Flow Graph Visualization.
Scan documents to PDF and more, as simply as possible.
Python tool for converting files and office documents to Markdown.
extract text from any document. no muss. no fuss.