bennofs

wdumper

Tool for generating filtered Wikidata RDF exports

th-lift-instances

Lift instances for common haskell data types

tasty-th

Automatically generate tasty test groups from functions in a module using TH

hcltest

Haskell testing library for command line programs

dotfiles

My dotfiles

compy-experiments

compy-learn

ComPy-Learn is a framework for exploring program representations for ML4CODE tasks.

emacs-present

kani

Kani Rust Verifier

audiobookserver

bachelor

discourse

A platform for community discussion. Free, open, simple.

distrust

Use discourse as an OIDC (OAuth 2.0) provider

dresdentermin

evdi-vnc

A minimalist utility to start up a VNC server as a secondary screen using EVDI.

execution-trace-viewer

Tool for viewing and analyzing execution traces

flow3r-apps

hauptseminar

jameica

Jameica is an Application-Platform written in Java containing a SWT-UI. It provides different services (GUI-Toolkit, Logging, Security, Backup, Lifecycle-Management, Message-Bus) to the installed plugins. It's a kind of runtime environment similar to OSGi.

jitwatch

Log analyser / visualiser for Java HotSpot JIT compiler. Inspect inlining decisions, hot methods, bytecode, and assembly. View results in the JavaFX user interface.

keepassxc-browser-cli

A CLI application for talking to KeePassXC via the KeePassXC-Browser protocol.

nixos

nixpkgs

Nix Packages collection

objection

📱 objection - runtime mobile exploration

oss-fuzz-repo-store

remarkable_mouse

use your reMarkable as a graphics tablet

repros

i can haz hosting for me reproducers plz

rmview

A live viewer for reMarkable written in PyQt5

Wikidata-Toolkit

zeitung