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
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
Single user ActivityPub (https://www.w3.org/TR/activitypub/) server.
📚 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.
a tool to facilitate sharing of secrets using SSH keys
The famous SGI/IRIX ElectroPaint(tm) screensaver by David Tristram, ported to Windows
Creates fuzzing inputs for command line programs using help options and man pages.