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
Python tool for converting files and office documents to Markdown.
openpilot is an operating system for robotics. Currently, it upgrades the driver assistance system on 300+ supported cars.
The world's simplest facial recognition api for Python and the command line
OCRmyPDF adds an OCR text layer to scanned PDF files, allowing them to be searched
Scan, index, and archive all of your paper documents
Emulator for rapid prototyping of Software Defined Networks
Pretty good call graphs for dynamic languages
Cast All The Things allows you to send videos from many, many online sources to your Chromecast.
Converts profiling output to a dot graph.
Mesa is an open-source Python library for agent-based modeling, ideal for simulating complex systems and exploring emergent behaviors.
E-Ink Magic Calendar that automatically syncs to Google Calendar and runs off a battery powered Raspberry Pi Zero
Python app to work with pictures and associated metadata from Apple Photos on macOS. Also includes a package to provide programmatic access to the Photos library, pictures, and metadata.
Home Assistant custom component for control Xiaomi Multimode Gateway (aka Gateway 3), Xiaomi Multimode Gateway 2, Aqara Hub E1 on default firmwares over LAN
Generate host overview from ansible fact gathering output
A simple code complexity analyser without caring about the C/C++ header files or Java imports, supports most of the popular languages.
python app to turn a photograph into a cartoon
The X86 Encoder Decoder (XED), is a software library for encoding and decoding X86 (IA32 and Intel64) instructions
Verify the configuration of your OS X machine.
An analysis tool for Python that blurs the line between testing and type systems.
Random instruction generator for RISC-V processor verification
An open source bike computer based on Raspberry Pi Zero (W, WH, 2W) with GPS and ANT+ support, as well as offline maps and navigation functions.
Source code formatter for cmake listfiles.
A highly configurable MQTT message router, where the routing targets are notification plugins, primarily written in Python.
Driller: augmenting AFL with symbolic execution!