Pinned Repositories
15-411-Haskell-Base-Code
Haskell Basecode for the 411 Compiler Project
bap-rust
c-storable-deriving
Derivation of C-like Storable Instances
executable
A Haskell Library for Binary Analysis
holmes
Datalog engine with extensions for integrating analyses
hott-notes
15-819 (Homotopy Type Theory) Lecture Notes
mycroft
ptrace
Haskell PTrace Bindings
symfuzz
tachyon
Record/Replay for syscall streams
maurer's Repositories
maurer/linux
Linux kernel source tree
maurer/aquamarine
Inline diagrams for rustdoc with mermaid.js
maurer/arbitrary
Generating structured data from arbitrary, unstructured input.
maurer/argh
Rust derive-based argument parsing optimized for code size
maurer/async-stream
Asynchronous streams for Rust using async & await notation
maurer/autocxx
Tool for safe ergonomic Rust/C++ interop driven from existing C++ headers
maurer/cargo
The Rust package manager
maurer/cxx
Safe interop between Rust and C++
maurer/futures-rs
Zero-cost asynchronous programming in Rust
maurer/gitoxide
An idiomatic, lean, fast & safe pure Rust implementation of Git
maurer/incubator-teaclave-trustzone-sdk
Teaclave TrustZone SDK enables safe, functional, and ergonomic development of trustlets.
maurer/kmod
kmod - Linux kernel module handling
maurer/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.
maurer/nix-rust
Rust friendly bindings to *nix APIs
maurer/num-derive
Procedural macros to derive numeric traits in Rust
maurer/pin-project
A crate for safe and ergonomic pin-projection.
maurer/rust
A safe, concurrent, practical language.
maurer/rust-bindgen
binding generator for rust language
maurer/rust-openssl
OpenSSL bindings for Rust
maurer/rust-rfcs
RFCs for changes to Rust
maurer/RustCrypto-formats
Cryptography-related format encoders/decoders: DER, PEM, PKCS, PKIX
maurer/RustCrypto-utils
Utility crates used in RustCrypto
maurer/rustfmt
Format Rust code
maurer/syn
Parser for Rust source code
maurer/syn-mid
Providing the features between "full" and "derive" of syn.
maurer/synstructure
Utilities for dealing with substructures within syn macros
maurer/tokio
A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...
maurer/tracing
Application level tracing for Rust.
maurer/uniffi-rs
a multi-language bindings generator for rust
maurer/zerocopy