Andreas Zwinkau (qznc)

qznc

Geek Repo

Company:Bosch

Location:Karlsruhe, Germany

Home Page:http://beza1e1.tuxen.de

Github PK Tool:Github PK Tool


Organizations
libfirm

Andreas Zwinkau's starred repositories

scriptisto

A language-agnostic "shebang interpreter" that enables you to write scripts in compiled languages.

Language:RustLicense:Apache-2.0Stargazers:602Issues:0Issues:0

manifolio

Bet sizing tool for manifold markets

Language:TypeScriptStargazers:15Issues:0Issues:0

err-rando

🎲 Err bot with useful random functionalities

Language:PythonLicense:MITStargazers:3Issues:0Issues:0

mifare

mifare m302 rfid card reader playground

Language:PythonStargazers:9Issues:0Issues:0

octorust

A program for compiling invasive rust applications

Language:RustLicense:GPL-3.0Stargazers:1Issues:0Issues:0

travis-sphinx

A standalone script for automated building and deploying of sphinx docs via travis-ci

Language:PythonLicense:GPL-3.0Stargazers:113Issues:0Issues:0

electrolysis

Simple verification of Rust programs via functional purification in Lean 2(!)

Language:LeanLicense:NOASSERTIONStargazers:324Issues:0Issues:0

selfie

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

Language:Jupyter NotebookLicense:BSD-2-ClauseStargazers:2347Issues:0Issues:0

rdfref

Cross-referencing system for LaTeX, inspired with RDF

Language:LuaStargazers:13Issues:0Issues:0

dokuKIT

Dokuwiki template with the OLD KIT corporate Design: DEPRECATED.

Language:CSSLicense:NOASSERTIONStargazers:4Issues:0Issues:0

tour-of-heroes

some crummy incremental game made with angular 2

Language:TypeScriptStargazers:23Issues:0Issues:0

dub

Package and build management system for D

Language:DLicense:MITStargazers:656Issues:0Issues:0
Language:PythonLicense:MITStargazers:2Issues:0Issues:0

dlibgit

D wrapper library around libgit2

Language:DStargazers:29Issues:0Issues:0

dlang-requests

dlang http client library inspired by python-requests

Language:DLicense:BSL-1.0Stargazers:153Issues:0Issues:0

tip-toi-reveng

Trying to understand the file format of Tip Toi

Language:HaskellLicense:MITStargazers:634Issues:0Issues:0

tsv-utils

eBay's TSV Utilities: Command line tools for large, tabular data files. Filtering, statistics, sampling, joins and more.

Language:DLicense:BSL-1.0Stargazers:1408Issues:0Issues:0

adhocracy

Adhocracy is a policy drafting and decision making software for distributed groups and open institutions.

Language:PythonLicense:AGPL-3.0Stargazers:150Issues:0Issues:0

abduco

abduco provides session management i.e. it allows programs to be run independently from its controlling terminal. That is programs can be detached - run in the background - and then later reattached. Together with dvtm it provides a simpler and cleaner alternative to tmux or screen.

Language:CLicense:ISCStargazers:719Issues:0Issues:0

hibernated

HibernateD is ORM for D language (similar to Hibernate)

Language:DStargazers:82Issues:0Issues:0

CompCert

The CompCert formally-verified C compiler

Language:CoqLicense:NOASSERTIONStargazers:1762Issues:0Issues:0

Signal-Desktop

A private messenger for Windows, macOS, and Linux.

Language:TypeScriptLicense:AGPL-3.0Stargazers:14001Issues:0Issues:0

rustybox

Rustybox is something like busybox, but written in Rust language.

Language:RustLicense:MITStargazers:11Issues:0Issues:0

coreutils

Cross-platform Rust rewrite of the GNU coreutils

Language:RustLicense:MITStargazers:16838Issues:0Issues:0

dfmt

Dfmt is a formatter for D source code

Language:DLicense:BSL-1.0Stargazers:201Issues:0Issues:0

dfix

Tool for automatically upgrading D source code

Language:DLicense:BSL-1.0Stargazers:44Issues:0Issues:0

design-center

CFEngine community-contributed content

Language:PerlLicense:NOASSERTIONStargazers:80Issues:0Issues:0

gdc

GNU D Compiler

Language:DStargazers:361Issues:0Issues:0

D-Scanner

Swiss-army knife for D source code

Language:DLicense:BSL-1.0Stargazers:236Issues:0Issues:0

vibe.d

Official vibe.d development

Language:DLicense:MITStargazers:1142Issues:0Issues:0