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
- 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
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
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.
Mesa is an open-source Python library for agent-based modeling, ideal for simulating complex systems and exploring emergent behaviors.
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.
Converts profiling output to a dot graph.
E-Ink Magic Calendar that automatically syncs to Google Calendar and runs off a battery powered Raspberry Pi Zero
A global repository of open address, building, and parcel data.
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
Random instruction generator for RISC-V processor verification
An analysis tool for Python that blurs the line between testing and type systems.
Verify the configuration of your OS X machine.
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!
An ASCII Header Generator for Network Protocols