Pinned Repositories
thermalbot
A simulation of an autonomous glider agent using reinforcement learning
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
hsul
unlambda interpreter written in Haskell
nrv32emu
RISC-V 32 emulator with not a lot of features.
dernatsch's Repositories
dernatsch/hsul
unlambda interpreter written in Haskell
dernatsch/buli
Show bundesliga results on the command line.
dernatsch/nrv32emu
RISC-V 32 emulator with not a lot of features.
dernatsch/aoc2021
dernatsch/beamsolver
dernatsch/cpachecker
CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
dernatsch/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/dernatsch.github.io
dernatsch/digc
delta encoding for IGC files
dernatsch/dtn7-plus-rs
Additional helpers for rust dtn daemon (client lib, custom canonical blocks, etc)
dernatsch/dtn7-rs
Rust implementation of a DTN based on RFC 9171
dernatsch/fusepy
Simple ctypes bindings for FUSE
dernatsch/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.
dernatsch/luafuzz
dernatsch/mavlink
MAVLink micro air vehicle marshalling / communication library
dernatsch/mold
Mold: A Modern Linker 🦠
dernatsch/msp430disas
Dissasembler and static analyzer for MSP430 binaries.
dernatsch/nanaimo
A delicious Python treat that makes on-target testing sweet and satisfying.
dernatsch/pymavlink
python MAVLink interface and utilities
dernatsch/pyulog
Python module & scripts for ULog files
dernatsch/rust
Empowering everyone to build reliable and efficient software.
dernatsch/serenity
The Serenity Operating System 🐞
dernatsch/XCSoar
... the open-source glide computer
dernatsch/zephly
A simple quadrotor drone flight controller based on zephyr.