maurer Goto Github PK

elf

Haskell library for parsing ELF object files

executable

A Haskell Library for Binary Analysis

ftb-islands

Mod for FTB Infinity Skyblock and Sky Factory

futures-rs

Zero-cost asynchronous programming in Rust

holmes

Datalog engine with extensions for integrating analyses

hott-notes

15-819 (Homotopy Type Theory) Lecture Notes

hseve

Haskell bindings for the EVE API

hydra-jobs

Hold hydra job nix files for projects which should not contain them

hydra-server

Nixops configuration for deploying a NixOS hydra server, not tailored for public use

janest

Jane Street Core, packaged for debian

libbap

C Bindings for BAP

libbil

libBIL: an intermediate language for binary derived from BAP

linux

Linux kernel source tree

llvm

Mirror of official llvm git repository located at http://llvm.org/git/llvm. Updated hourly.

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.

log

Logging implementation for Rust

marduk

miri

An interpreter for Rust's mid-level intermediate representation

mycroft

nix

Nix, the purely functional package manager

nixlocal

Local set of Nix packages/configuration not suitable for upstream

nixpkgs

Nix Packages collection

nixpkgs-channels

Nixpkgs/NixOS branches that track the Nixpkgs/NixOS channels

num-derive

Procedural macros to derive numeric traits in Rust

oasis

Cabal like system for OCaml

ofuzz

Fuzzing framework written in OCaml

ollibot

An implementation of substructural intuitionistic logic focused on forward chaining

opam

OPAM is a source-based package manager for OCaml. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.

ouroboros

pei

Half-assed solver for permanent elder influence in POE