Discover @bennofs Open Source projects

Benno Fünfstück (@bennofs)

bennofs

Stars
248
Global Rank 103,956 (Top 4 %)
Followers 137
Following 47
Registered almost 12 years ago
Most used languages

Haskell
63.0 %

Python
11.1 %

Coq 7.4 %

Nix
3.7 %

Java
3.7 %

Emacs Lisp
3.7 %

Shell
3.7 %

TeX
3.7 %

etc-nixos

NixOS configuration files for my computers

wdumper

Tool for generating filtered Wikidata RDF exports

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

themplate

Create projects from simple templates

reflex-qml

hcltest

Haskell testing library for command line programs

cscg20

Solutions for Cyber Security Challenge Germany 2020 Qualifications

quickcheck-property-monad

A monad for building quickcheck properties

dotfiles

ghc-server

No longer maintained

software-foundations

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

vplan

A flexible library for representing schedules in haskell

typeable-th

There is no need to manually write TypeableN instances anymore!

coq-mapping-database

Verified Mapping Database model in Coq based on AVL trees

vplan-qml

QML UI for VPlan

compy-experiments

task-sheet-splitter

emacs-present

shake-configure

A configure step for the shake build system

autoconf2nix

haemu

A simple processor emulator written in haskell.

hsqml-react

Declarative interface to HsQML using reactive-banana