sarming

.vim

my .vim directory

PyHamcrest

Hamcrest matchers for Python

vim-latex

Mirror of vim-latex as Sourceforge's git support blows chunks!

AI-Toolbox

A C++ framework for MDPs and POMDPs with Python bindings

booky

A simple script for pdf bookmarks creation

Bus_Pirate

Community driven firmware and hardware for Bus Pirate version 3 and 4

esp-adf

Espressif Audio Development Framework

ESPuino

RFID-controlled musicplayer powered by ESP32

google-research

Google Research

homebrew-core

🍻 Default formulae for the missing package manager for macOS

homebrew-misc

A repository containing miscellaneous homebrew formulas.

hpc-python

Python in High Performance Computing

kpm

lampe

libsigrok

Read-only mirror of the official repo at git://sigrok.org/libsigrok. Pull requests welcome. Please file bugreports at sigrok.org/bugzilla.

micropython

MicroPython - a lean and efficient Python implementation for microcontrollers and constrained systems

mopidy

Mopidy is an extensible music server that plays music from local disk, Spotify, SoundCloud, Google Play Music, and more. You edit the playlist from any phone, tablet, or computer using a range of MPD and web clients.

mopidy-cd

prism-svn

Mirror of PRISM subversion trunk

propagation

Simulate Twitter message propagation

sea-param

Sebastian Arming, Ezio Bartocci and Ana Sokolova: SEA-PARAM: Exploring Schedulers in Parametric MDPs. QAPL 2017

selfie

An educational software system of a tiny self-compiling C compiler, a tiny self-executing MIPS emulator, and a tiny self-hosting MIPS hypervisor.

TonUINO

Die DIY Musikbox (nicht nur) für Kinder

tuyaZigbee

Replacement firmwares for TuYa zigbee devices

vim-sensible

sensible.vim: Defaults everyone can agree on