Florian Hahn's starred repositories

linux-insides

A little bit about a linux kernel

Language:PythonLicense:NOASSERTIONStargazers:29665Issues:1360Issues:182

hyper

An HTTP library for Rust

iron

An Extensible, Concurrent Web Framework for Rust

Language:RustLicense:MITStargazers:6132Issues:157Issues:260

racer

Rust Code Completion utility

Language:RustLicense:MITStargazers:3360Issues:78Issues:602

fr_public

Farbrausch demo tools 2001-2011

lalrpop

LR(1) parser generator for Rust

Language:RustLicense:Apache-2.0Stargazers:2961Issues:35Issues:413

dynamorio

Dynamic Instrumentation Tool Platform

Language:CLicense:NOASSERTIONStargazers:2588Issues:109Issues:3996

quickcheck

Automated property based testing for Rust (with shrinking).

Language:RustLicense:UnlicenseStargazers:2303Issues:19Issues:142

BareMetal-OS-legacy

BareMetal is a 64-bit OS for x86-64 based computers. The OS is written entirely in Assembly while applications can be written in Assembly, C/C++, and Rust.

SoCo

SoCo (Sonos Controller) is a Python project that allows you to programmatically control Sonos speakers.

Language:PythonLicense:MITStargazers:1474Issues:61Issues:432

jquip

jQuery in Parts

ftl

C++ template library for fans of functional programming

Language:C++License:ZlibStargazers:994Issues:73Issues:12

flang

Flang is a Fortran language front-end designed for integration with LLVM.

Language:CLicense:NOASSERTIONStargazers:791Issues:49Issues:551

thunderbird-conversations

An extension for Thunderbird that allows you to view threads as "real" conversations, including your own emails. This extension also adds a bunch of useful UI features in the conversation view.

Language:JavaScriptLicense:MPL-2.0Stargazers:646Issues:20Issues:1584

feedhq

FeedHQ is a web-based feed reader

Language:PythonLicense:BSD-3-ClauseStargazers:568Issues:20Issues:91

boogie

Boogie

Language:BoogieLicense:MITStargazers:496Issues:31Issues:265

marelle

Test-driven system administration with a little extra logic.

Language:PrologLicense:BSD-2-ClauseStargazers:387Issues:19Issues:5

django-ajax-uploader

Ajax-based, multiple-upload django class with pluggable backends, and subclass goodness.

Language:JavaScriptLicense:NOASSERTIONStargazers:281Issues:21Issues:36

mygpo

The gpodder.net webservice

Language:PythonLicense:AGPL-3.0Stargazers:270Issues:17Issues:216

ctrlp-py-matcher

Fast vim CtrlP matcher based on python

Language:PythonLicense:MITStargazers:237Issues:9Issues:24

compiletest-rs

An extraction of the compiletest utility from the Rust compiler

Language:RustLicense:Apache-2.0Stargazers:215Issues:6Issues:105

rust-empty

A Makefile to get started with Rust (DEPRECATED)

Language:MakefileLicense:MITStargazers:184Issues:46Issues:170

RustBuild

Scripts and patches to auto build Rustc and Cargo on ARM

Language:ShellLicense:MITStargazers:103Issues:9Issues:18

djangolint

Django Lint

Language:PythonLicense:NOASSERTIONStargazers:79Issues:8Issues:7

django-permission-backend-nonrel

A Django authentication backend that supports Django's user and group permissions on Django-Nonrel.

Language:PythonLicense:NOASSERTIONStargazers:62Issues:13Issues:7

epio_skel

A skeleton django project setup for ep.io

Language:PythonLicense:BSD-3-ClauseStargazers:52Issues:2Issues:2

luna

A luajit bytecode interpreter written in RPython

Language:PythonLicense:NOASSERTIONStargazers:9Issues:2Issues:0

hcqc

hcqc - HPC compiler quality checker

Language:CLicense:Apache-2.0Stargazers:9Issues:12Issues:0

django-gaeauth

An Django authentication backend for using the Google App Engine Users and Oauth API for user login/logout.

Language:PythonLicense:NOASSERTIONStargazers:8Issues:2Issues:2