Lists (1)
Sort Name ascending (A-Z)
- All languages
- 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
- 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
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.
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.
A dashboard for monitoring code debt in a git repository.
ANTLR v4 grammar-based test generator
Clang's scan-build re-implementation in python
Visualize performance benchmarks over git commit history
Prepare a video to be streamed with HLS
A terrible way of testing terminal applications
A tiny proxy for serving and resizing images fetched from a private S3 bucket
Property-based tests for the Python standard library (and builtins)
Simple tool for comparing gcov/llvm-cov output between runs
Repository for my Hypothesis training course
Small research project on using OpenStreetMap XML format to create the open map for Moon