Pinned Repositories
docs
dynamic-cabal
Dynamically load the Cabal library to use a newer version with the GHC API
etc-nixos
NixOS configuration files for my computers
haskell-generate
Type-safe library for generating haskell source code
nix-script
A shebang for running scripts inside nix-shell with defined dependencies
reflex-host
Higher level support for implementing reflex frameworks
th-lift-instances
Lift instances for common haskell data types
wdumper
Tool for generating filtered Wikidata RDF exports
nix-index
Quickly locate nix packages with specific files [maintainers=@bennofs @figsoda @raitobezarius]
bennofs's Repositories
bennofs/wdumper
Tool for generating filtered Wikidata RDF exports
bennofs/th-lift-instances
Lift instances for common haskell data types
bennofs/tasty-th
Automatically generate tasty test groups from functions in a module using TH
bennofs/hcltest
Haskell testing library for command line programs
bennofs/dotfiles
My dotfiles
bennofs/compy-experiments
bennofs/compy-learn
ComPy-Learn is a framework for exploring program representations for ML4CODE tasks.
bennofs/emacs-present
bennofs/kani
Kani Rust Verifier
bennofs/audiobookserver
bennofs/bachelor
bennofs/discourse
A platform for community discussion. Free, open, simple.
bennofs/distrust
Use discourse as an OIDC (OAuth 2.0) provider
bennofs/evdi-vnc
A minimalist utility to start up a VNC server as a secondary screen using EVDI.
bennofs/execution-trace-viewer
Tool for viewing and analyzing execution traces
bennofs/flow3r-apps
bennofs/fruitbasket
[MIRROR] ❄️ Infrastructure configuration for FSR-operated machines
bennofs/hauptseminar
bennofs/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.
bennofs/jitwatch
Log analyser / visualiser for Java HotSpot JIT compiler. Inspect inlining decisions, hot methods, bytecode, and assembly. View results in the JavaFX user interface.
bennofs/keepassxc-browser-cli
A CLI application for talking to KeePassXC via the KeePassXC-Browser protocol.
bennofs/nixos
bennofs/nixpkgs
Nix Packages collection
bennofs/objection
📱 objection - runtime mobile exploration
bennofs/oss-fuzz-repo-store
bennofs/remarkable_mouse
use your reMarkable as a graphics tablet
bennofs/repros
i can haz hosting for me reproducers plz
bennofs/rmview
A live viewer for reMarkable written in PyQt5
bennofs/Wikidata-Toolkit
bennofs/zeitung