Pinned Repositories
ada-light-mode
Light Emacs major mode for Ada
android-whitelists
A protection system for Android
cider
The Clojure Interactive Development Environment that Rocks for Emacs
cider-nrepl
nREPL middleware for CIDER
enrich-test
Demonstrate a problem with enrich-classpath
friboo-ext-zalando
Zalando-specific additions to friboo
ghost-usb-honeypot
A honeypot for malware that propagates via USB storage devices
symcc
SymCC: efficient compiler-based symbolic execution
turing
Turing machine simulator written in Haskell
sebastianpoeplau's Repositories
sebastianpoeplau/ada-light-mode
Light Emacs major mode for Ada
sebastianpoeplau/turing
Turing machine simulator written in Haskell
sebastianpoeplau/ghost-usb-honeypot
A honeypot for malware that propagates via USB storage devices
sebastianpoeplau/android-whitelists
A protection system for Android
sebastianpoeplau/enrich-test
Demonstrate a problem with enrich-classpath
sebastianpoeplau/friboo-ext-zalando
Zalando-specific additions to friboo
sebastianpoeplau/symcc
SymCC: efficient compiler-based symbolic execution
sebastianpoeplau/cider
The Clojure Interactive Development Environment that Rocks for Emacs
sebastianpoeplau/cider-nrepl
nREPL middleware for CIDER
sebastianpoeplau/confex
Useful helper to read and use application configuration from environment variables.
sebastianpoeplau/forge
Work with Git forges from the comfort of Magit
sebastianpoeplau/hikari-cp
A Clojure wrapper to HikariCP JDBC connection pool
sebastianpoeplau/helix
A post-modern modal text editor.
sebastianpoeplau/hugsql
A Clojure library for embracing SQL
sebastianpoeplau/klee
KLEE Symbolic Execution Engine
sebastianpoeplau/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
sebastianpoeplau/melpa
Recipes and build machinery for the biggest Emacs package repo
sebastianpoeplau/molokai
Molokai color scheme for Vim
sebastianpoeplau/s2e
This is the main S2E repository. Visit https://s2e.systems/docs to get started.
sebastianpoeplau/s2e-env
Your S2E project management tools
sebastianpoeplau/servant-experiment
sebastianpoeplau/spacemacs
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
sebastianpoeplau/stack
The Haskell Tool Stack
sebastianpoeplau/symqemu
SymQEMU: Compilation-based symbolic execution for binaries
sebastianpoeplau/yaml
A fast, idiomatic and easy to use Clojure YAML library. Based on Snake YAML