sebastianpoeplau

Pinned Repositories

ada-light-mode
Light Emacs major mode for Ada
Language:Emacs Lisp5 1 02
android-whitelists
A protection system for Android
Language:Python1 2 00
cider
The Clojure Interactive Development Environment that Rocks for Emacs
Language:Emacs Lisp0 2 00
cider-nrepl
nREPL middleware for CIDER
Language:Clojure0 2 00
enrich-test
Demonstrate a problem with enrich-classpath
Language:Clojure1 1 00
friboo-ext-zalando
Zalando-specific additions to friboo
Language:Clojure1 2 00
ghost-usb-honeypot
A honeypot for malware that propagates via USB storage devices
Language:C2 0 00
symcc
SymCC: efficient compiler-based symbolic execution
Language:C++1 0 00
turing
Turing machine simulator written in Haskell
Language:Haskell3 2 01

sebastianpoeplau's Repositories

sebastianpoeplau/ada-light-mode
Light Emacs major mode for Ada
Language:Emacs Lisp5 1 02
sebastianpoeplau/turing
Turing machine simulator written in Haskell
Language:Haskell3 2 01
sebastianpoeplau/ghost-usb-honeypot
A honeypot for malware that propagates via USB storage devices
Language:C2 0 00
sebastianpoeplau/android-whitelists
A protection system for Android
Language:Python1 2 00
sebastianpoeplau/enrich-test
Demonstrate a problem with enrich-classpath
Language:Clojure1 1 00
sebastianpoeplau/friboo-ext-zalando
Zalando-specific additions to friboo
Language:Clojure1 2 00
sebastianpoeplau/symcc
SymCC: efficient compiler-based symbolic execution
Language:C++1 0 00
sebastianpoeplau/cider
The Clojure Interactive Development Environment that Rocks for Emacs
Language:Emacs Lisp0 2 00
sebastianpoeplau/cider-nrepl
nREPL middleware for CIDER
Language:Clojure0 2 00
sebastianpoeplau/confex
Useful helper to read and use application configuration from environment variables.
Language:Elixir0 2 00
sebastianpoeplau/forge
Work with Git forges from the comfort of Magit
Language:Emacs Lisp0 0 00
sebastianpoeplau/hikari-cp
A Clojure wrapper to HikariCP JDBC connection pool
Language:Clojure0 2 00
sebastianpoeplau/hugsql
A Clojure library for embracing SQL
Language:Clojure2 0
sebastianpoeplau/klee
KLEE Symbolic Execution Engine
Language:C++2 0
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.
1 0
sebastianpoeplau/melpa
Recipes and build machinery for the biggest Emacs package repo
Language:Emacs Lisp0 0
sebastianpoeplau/molokai
Molokai color scheme for Vim
Language:Vim Script2 0
sebastianpoeplau/s2e
This is the main S2E repository. Visit https://s2e.systems/docs to get started.
Language:C++1 0
sebastianpoeplau/s2e-env
Your S2E project management tools
Language:Python2 0
sebastianpoeplau/servant-experiment
Language:Haskell2 01
sebastianpoeplau/spacemacs
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
Language:Emacs Lisp2 0
sebastianpoeplau/stack
The Haskell Tool Stack
Language:Haskell2 0
sebastianpoeplau/symqemu
SymQEMU: Compilation-based symbolic execution for binaries
Language:C0 0
sebastianpoeplau/yaml
A fast, idiomatic and easy to use Clojure YAML library. Based on Snake YAML
Language:Clojure2 0