Andreas Stührk's repositories
pony-ast-explorer
Interactively explore Pony ASTs
Kuchenblech
A minimal-trust secret sharing service.
dinghy-web
dinghy as a service
andy.hammerhartes.de
Source of my blog.
dhall-golang
Dhall bindings for go
http_server
:horse: Pony library for building HTTP server applications.
incubator-teaclave-sgx-sdk
Rust SGX SDK provides the ability to write Intel SGX applications in Rust Programming Language.
jetzig
Jetzig is a web framework written in Zig
MIT000
kontrolleurs
readline-like history search for fish
Language:RustApache-2.0000
library-documentation-action
:horse: Generates documentation for Pony libraries
linux-loader
Linux kernel loader
meter-reader
Read data from SwitchBot Meter Plus devices
readme-version-updater-action
:horse: Bot that updates the version of an action in its README on release
smithay
A smithy for rusty wayland compositors
MIT000
SwiftCheck
QuickCheck for Swift
xdg-desktop-portal-wlr
xdg-desktop-portal backend for wlroots