Michiel Derhaeg (MichielDerhaeg)

MichielDerhaeg

Geek Repo

Location:Belgium

Home Page:https://derhaeg.be

Github PK Tool:Github PK Tool


Organizations
xmonad

Michiel Derhaeg's repositories

build-linux

A short tutorial about building Linux based operating systems.

Language:ShellLicense:NOASSERTIONStargazers:5098Issues:187Issues:24

OSX-KVM

Running Mac OS X El Capitan and macOS Sierra on QEMU/KVM

Language:ShellStargazers:11Issues:4Issues:0

texttop

A fully interactive X Linux desktop rendered in TTY and streamable over SSH

Language:GoLicense:GPL-3.0Stargazers:11Issues:4Issues:0
Language:HaskellLicense:BSD-3-ClauseStargazers:1Issues:0Issues:0

angr

A powerful and user-friendly binary analysis platform!

Language:PythonLicense:BSD-2-ClauseStargazers:0Issues:2Issues:0

bidirectional-impl

Implementation of Bidirectional Type Class Instances

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:3Issues:0

cppcoro

A library of C++ coroutine abstractions for the coroutines TS

Language:C++License:MITStargazers:0Issues:2Issues:0

gentoo

The official mirror of the Gentoo ebuild repository

Language:ShellStargazers:0Issues:3Issues:0

ghc-alt-libc

GHC compiled against musl & uClibc

Stargazers:0Issues:3Issues:0

haskell-qrencode

Haskell bindings for qrencode

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:3Issues:0

ipp

i++: a relay run counting system

Language:JavaLicense:NOASSERTIONStargazers:0Issues:0Issues:0

LibEBC

C++ Library and Tool for Extracting Embedded Bitcode

Language:C++License:Apache-2.0Stargazers:0Issues:2Issues:0

libmpd-haskell

A client library for MPD, the Music Player Daemon

Language:HaskellLicense:MITStargazers:0Issues:0Issues:0

llvm-project

This is the canonical git mirror of the LLVM subversion repository. The repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.

Stargazers:0Issues:0Issues:0

manticore

Symbolic execution tool

Language:PythonLicense:AGPL-3.0Stargazers:0Issues:2Issues:0

miasm

Reverse engineering framework in Python

Language:PythonLicense:GPL-2.0Stargazers:0Issues:2Issues:0

mocxx

A versatile C++ function mocking framework.

Language:C++License:GPL-3.0Stargazers:0Issues:2Issues:0

nixpkgs

Nix Packages collection

Language:NixLicense:MITStargazers:0Issues:3Issues:0

o-mvll

:electron: O-MVLL is a LLVM-based obfuscator for native code (Android & iOS)

Language:C++License:Apache-2.0Stargazers:0Issues:0Issues:0

oh-my-zsh

A delightful community-driven (with 1,000+ contributors) framework for managing your zsh configuration. Includes 200+ optional plugins (rails, git, OSX, hub, capistrano, brew, ant, php, python, etc), over 140 themes to spice up your morning, and an auto-update tool so that makes it easy to keep up with the latest updates from the community.

Language:ShellLicense:NOASSERTIONStargazers:0Issues:3Issues:0
Language:CLicense:GPL-3.0Stargazers:0Issues:0Issues:0

QBDL

QuarkslaB Dynamic Linker library

Language:C++License:Apache-2.0Stargazers:0Issues:2Issues:0

stack

The Haskell Tool Stack

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:3Issues:0

wt

Wt, C++ Web Toolkit

Language:CLicense:NOASSERTIONStargazers:0Issues:3Issues:0

xmonad

The core of xmonad, a small but functional ICCCM-compliant tiling window manager

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:3Issues:0

xmonad-contrib

Contributed modules for xmonad

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:3Issues:0

ycmd

A code-completion & code-comprehension server

Language:C++License:GPL-3.0Stargazers:0Issues:3Issues:0