sebastianpoeplau Goto Github PK

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

confex

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

enrich-test

Demonstrate a problem with enrich-classpath

forge

Work with Git forges from the comfort of Magit

friboo-ext-zalando

Zalando-specific additions to friboo

ghost-usb-honeypot

A honeypot for malware that propagates via USB storage devices

helix

A post-modern modal text editor.

hikari-cp

A Clojure wrapper to HikariCP JDBC connection pool

hugsql

A Clojure library for embracing SQL

klee

KLEE Symbolic Execution Engine

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.

melpa

Recipes and build machinery for the biggest Emacs package repo

molokai

Molokai color scheme for Vim

s2e

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

s2e-env

Your S2E project management tools

servant-experiment

spacemacs

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

stack

The Haskell Tool Stack

symcc

SymCC: efficient compiler-based symbolic execution

symqemu

SymQEMU: Compilation-based symbolic execution for binaries

turing

Turing machine simulator written in Haskell

yaml

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