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

coreutils

Cross-platform Rust rewrite of the GNU coreutils

Signal-Desktop

A private messenger for Windows, macOS, and Linux.

Language:TypeScriptLicense:AGPL-3.0Stargazers:14076Issues:423Issues:5722

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:2356Issues:61Issues:90

CompCert

The CompCert formally-verified C compiler

Language:CoqLicense:NOASSERTIONStargazers:1777Issues:64Issues:277

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:1410Issues:38Issues:46

vibe.d

Official vibe.d development

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.

dub

Package and build management system for D

tip-toi-reveng

Trying to understand the file format of Tip Toi

Language:HaskellLicense:MITStargazers:637Issues:77Issues:155

scriptisto

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

Language:RustLicense:Apache-2.0Stargazers:605Issues:12Issues:36

gdc

GNU D Compiler

Language:DStargazers:359Issues:38Issues:0

electrolysis

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

Language:LeanLicense:NOASSERTIONStargazers:325Issues:14Issues:4

D-Scanner

Swiss-army knife for D source code

Language:DLicense:BSL-1.0Stargazers:236Issues:20Issues:499

dfmt

Dfmt is a formatter for D source code

Language:DLicense:BSL-1.0Stargazers:201Issues:20Issues:385

dlang-requests

dlang http client library inspired by python-requests

Language:DLicense:BSL-1.0Stargazers:154Issues:8Issues:130

adhocracy

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

Language:PythonLicense:AGPL-3.0Stargazers:150Issues:48Issues:466

travis-sphinx

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

Language:PythonLicense:GPL-3.0Stargazers:113Issues:8Issues:25

hibernated

HibernateD is ORM for D language (similar to Hibernate)

design-center

CFEngine community-contributed content

Language:PerlLicense:NOASSERTIONStargazers:80Issues:34Issues:113

dfix

Tool for automatically upgrading D source code

Language:DLicense:BSL-1.0Stargazers:44Issues:16Issues:38

dlibgit

D wrapper library around libgit2

Language:DStargazers:29Issues:10Issues:0

tour-of-heroes

some crummy incremental game made with angular 2

manifolio

Bet sizing tool for manifold markets

Language:TypeScriptStargazers:15Issues:0Issues:0

rdfref

Cross-referencing system for LaTeX, inspired with RDF

rustybox

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

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

mifare

mifare m302 rfid card reader playground

Language:PythonStargazers:9Issues:4Issues:0

dokuKIT

Dokuwiki template with the OLD KIT corporate Design: DEPRECATED.

Language:CSSLicense:NOASSERTIONStargazers:4Issues:3Issues:6

err-rando

🎲 Err bot with useful random functionalities

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

octorust

A program for compiling invasive rust applications

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