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
- Dart
- Dockerfile
- Elixir
- Emacs Lisp
- Erlang
- F*
- Forth
- Futhark
- Go
- HCL
- 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
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.
List of single-file C/C++ libraries, with emphasis on clause-less licenses.
A community version of the Open Decision Framework - A flexible, open approach to making decisions and leading projects
Combined results of Moscow Marathon and its visualization
A modular library built on top of Keras and TensorFlow to generate a caption in natural language for any input image.
A project to run fuzzing jobs at scale with Kubernetes.
Store your data from all your accounts and devices in a single cohesive timeline on your own computer
TLA+ and Alloy specs of database isolation
A formal specification of snapshot isolation.
A history of edits to the US Constitution as it has been amended. Written in markdown to match original formatting.