Benno Fünfstück

wdumper. Tool for generating filtered Wikidata RDF exports

etc-nixos. NixOS configuration files for my computers

reflex-host. Higher level support for implementing reflex frameworks

haskell-generate. Type-safe library for generating haskell source code

nix-script. A shebang for running scripts inside nix-shell with defined dependencies

dynamic-cabal. Dynamically load the Cabal library to use a newer version with the GHC API

th-lift-instances. Lift instances for common haskell data types

docs. Python

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

themplate. Create projects from simple templates

cscg20. Solutions for Cyber Security Challenge Germany 2020 Qualifications

reflex-qml. Haskell

hcltest. Haskell testing library for command line programs

dotfiles. My dotfiles

quickcheck-property-monad. A monad for building quickcheck properties

hdevtools. *Warning: Fork not maintained* Persistent GHC-powered background server for FAST haskell development tools

ghc-server. No longer maintained

software-foundations. Solutions to the book "Software Foundations": http://www.cis.upenn.edu/~bcpierce/sf/current/index.html

compy-experiments. TeX

typeable-th. There is no need to manually write TypeableN instances anymore!

kani. Kani Rust Verifier

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

cabal2nix. Generate Nix build instructions from a Cabal file

cabal-tests-rpath. Haskell

vplan-qml. QML UI for VPlan

vplan. A flexible library for representing schedules in haskell

autoconf2nix. Haskell

shake-configure. A configure step for the shake build system

haemu. A simple processor emulator written in haskell.

hsqml-react. Declarative interface to HsQML using reactive-banana

coq-mapping-database. Verified Mapping Database model in Coq based on AVL trees

CTFPad-docker. Shell

emacs-present. Emacs Lisp

task-sheet-splitter. Python