Skip to content
View sebastianpoeplau's full-sized avatar

Organizations

@honeynet

Block or report sebastianpoeplau

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
  • Light Emacs major mode for Ada

    Emacs Lisp 7 2 GNU General Public License v3.0 Updated Sep 24, 2024
  • helix Public

    Forked from helix-editor/helix

    A post-modern modal text editor.

    Rust Mozilla Public License 2.0 Updated Sep 22, 2024
  • Logos Other Updated Jul 30, 2024
  • llvm-project Public

    Forked from llvm/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…

    Other Updated Apr 22, 2024
  • melpa Public

    Forked from melpa/melpa

    Recipes and build machinery for the biggest Emacs package repo

    Emacs Lisp Other Updated Feb 12, 2023
  • forge Public

    Forked from magit/forge

    Work with Git forges from the comfort of Magit

    Emacs Lisp GNU General Public License v3.0 Updated Jan 12, 2023
  • enrich-test Public

    Demonstrate a problem with enrich-classpath

    Clojure 1 Eclipse Public License 2.0 Updated Jan 27, 2022
  • symcc Public

    Forked from eurecom-s3/symcc

    SymCC: efficient compiler-based symbolic execution

    C++ 1 GNU General Public License v3.0 Updated Jan 9, 2022
  • symqemu Public

    Forked from eurecom-s3/symqemu

    SymQEMU: Compilation-based symbolic execution for binaries

    C Other Updated Jul 19, 2021
  • klee Public

    Forked from klee/klee

    KLEE Symbolic Execution Engine

    C++ Other Updated Aug 26, 2020
  • s2e Public

    Forked from S2E/s2e

    This is the main S2E repository. Visit https://s2e.systems/docs to get started.

    C++ Other Updated Jul 7, 2020
  • s2e-env Public

    Forked from S2E/s2e-env

    Your S2E project management tools

    Python Other Updated Jan 21, 2019
  • molokai Public

    Forked from tomasr/molokai

    Molokai color scheme for Vim

    Vim Script Other Updated Jul 25, 2017
  • confex Public

    Forked from Nebo15/confex

    Useful helper to read and use application configuration from environment variables.

    Elixir MIT License Updated Mar 19, 2017
  • yaml Public

    Forked from owainlewis/yaml

    A fast, idiomatic and easy to use Clojure YAML library. Based on Snake YAML

    Clojure MIT License Updated Mar 7, 2017
  • hikari-cp Public

    Forked from tomekw/hikari-cp

    A Clojure wrapper to HikariCP JDBC connection pool

    Clojure Eclipse Public License 1.0 Updated Jan 30, 2017
  • hugsql Public

    Forked from layerware/hugsql

    A Clojure library for embracing SQL

    Clojure Apache License 2.0 Updated Jan 13, 2017
  • Zalando-specific additions to friboo

    Clojure 1 Apache License 2.0 Updated Nov 28, 2016
  • nREPL middleware for CIDER

    Clojure Updated Sep 4, 2016
  • spacemacs Public

    Forked from syl20bnr/spacemacs

    A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

    Emacs Lisp Updated Aug 27, 2016
  • cider Public

    Forked from clojure-emacs/cider

    The Clojure Interactive Development Environment that Rocks for Emacs

    Emacs Lisp Updated Aug 23, 2016
  • Haskell 1 GNU General Public License v2.0 Updated Feb 15, 2016
  • stack Public

    Forked from commercialhaskell/stack

    The Haskell Tool Stack

    Haskell Other Updated Oct 11, 2015
  • turing Public

    Turing machine simulator written in Haskell

    Haskell 3 1 GNU General Public License v3.0 Updated Oct 7, 2015
  • A honeypot for malware that propagates via USB storage devices

    C 2 GNU General Public License v3.0 Updated Mar 24, 2015
  • A protection system for Android

    Python 1 GNU General Public License v2.0 Updated Mar 14, 2014