dernatsch Goto Github PK

aoc2021

beamsolver

buli

Show bundesliga results on the command line.

cpachecker

CPAchecker, the Configurable Software-Verification Platform (read-only mirror)

curl

A command line tool and library for transferring data with URL syntax, supporting DICT, FILE, FTP, FTPS, GOPHER, GOPHERS, HTTP, HTTPS, IMAP, IMAPS, LDAP, LDAPS, MQTT, POP3, POP3S, RTMP, RTMPS, RTSP, SCP, SFTP, SMB, SMBS, SMTP, SMTPS, TELNET and TFTP. libcurl offers a myriad of powerful features

dernatsch.github.io

digc

delta encoding for IGC files

dtn7-plus-rs

Additional helpers for rust dtn daemon (client lib, custom canonical blocks, etc)

dtn7-rs

Rust implementation of a DTN based on RFC 9171

fusepy

Simple ctypes bindings for FUSE

hsul

unlambda interpreter written in Haskell

llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.

luafuzz

mavlink

MAVLink micro air vehicle marshalling / communication library

mold

Mold: A Modern Linker 🦠

msp430disas

Dissasembler and static analyzer for MSP430 binaries.

nanaimo

A delicious Python treat that makes on-target testing sweet and satisfying.

nrv32emu

RISC-V 32 emulator with not a lot of features.

pymavlink

python MAVLink interface and utilities

pyulog

Python module & scripts for ULog files

rust

Empowering everyone to build reliable and efficient software.

serenity

The Serenity Operating System 🐞

xcsoar

... the open-source glide computer

zephly

A simple quadrotor drone flight controller based on zephyr.