mgrabmueller

Berlin, Germany

Pinned Repositories

AlgorithmW
Example implementation of Algorithm W for Hindley-Milner type inference
Language:TeX77 4 111
disassembler
Disassembler for X86 & AMD64 machine code
Language:Haskell15 2 02
harpy
Runtime code generation for x86 machine code
Language:Haskell25 3 11
hs-certificate
Certificate and Key Reader/Writer in haskell
Language:Haskell1 3 00
hs-tls
TLS/SSL implementation in haskell
Language:Haskell1 3 00
hs-tls-debug
debug tools for the haskell tls framework
Language:Haskell1 2 00
hs-tls-extra
TLS extra definition and helpers.
Language:Haskell10
maccatcher
Obtain the host MAC on Windows and *NIX in Haskell.
Language:Haskell1 2 00
TransformersStepByStep
Tutorial on monad transformers
Language:TeX58 4 114
waddle
DOOM WAD file utilities
Language:Haskell3 2 01

mgrabmueller's Repositories

mgrabmueller/AlgorithmW
Example implementation of Algorithm W for Hindley-Milner type inference
Language:TeX77 4 111
mgrabmueller/TransformersStepByStep
Tutorial on monad transformers
Language:TeX58 4 114
mgrabmueller/harpy
Runtime code generation for x86 machine code
Language:Haskell25 3 11
mgrabmueller/disassembler
Disassembler for X86 & AMD64 machine code
Language:Haskell15 2 02
mgrabmueller/waddle
DOOM WAD file utilities
Language:Haskell3 2 01
mgrabmueller/hs-certificate
Certificate and Key Reader/Writer in haskell
Language:Haskell1 3 00
mgrabmueller/hs-tls
TLS/SSL implementation in haskell
Language:Haskell1 3 00
mgrabmueller/hs-tls-debug
debug tools for the haskell tls framework
Language:Haskell1 2 00
mgrabmueller/hs-tls-extra
TLS extra definition and helpers.
Language:Haskell10
mgrabmueller/med
Martin's ed - my own standard editor
Language:Rust1
mgrabmueller/peerington
Peer-to-peer network in Rust
Language:Rust1 2 0
mgrabmueller/rdtsc
Binding for the rdtsc machine instruction
Language:C1 2 1
mgrabmueller/ca-skeleton
Skeleton setup for OpenSSL CA
Language:Shell2 0
mgrabmueller/campross
Compression experiments
Language:Rust2 0
mgrabmueller/cryptopals
Some cryptopals (https://cryptopals.com) solutions
Language:Rust2 0
mgrabmueller/deepdown
HTML5 canvas game experiments
Language:JavaScript2 0
mgrabmueller/down
Two-and-a-half D visualization engine.
Language:Haskell2 0
mgrabmueller/holidays
Elixir library for finding which holidays fall on given dates.
Language:Elixir2 0
mgrabmueller/http-streams
Haskell HTTP client library for use with io-streams
Language:Haskell2 0
mgrabmueller/mudstuck
Having fun with a MUD-like game
Language:Rust2 0
mgrabmueller/rafters
Raft implementation for experiments
Language:Rust2 0
mgrabmueller/ray_tracer_challenge
Rust version of a raytracer from the book "The Raytracer Challenge".
Language:Rust2 0
mgrabmueller/rust-openssl
OpenSSL bindings for Rust
Language:Rust2 0
mgrabmueller/rusted
Rust experiments
Language:Rust2 0
mgrabmueller/rustls
Embryonic Rust TLS library
Language:Rust
mgrabmueller/sec-peer
Experiments with rustls, tokio and peer-to-peer neworking
2 0
mgrabmueller/security-model
Pragmatic authentication/authorization framework.
Language:Haskell2 0
mgrabmueller/spiv
Programming experiments
Language:JavaScript2 0
mgrabmueller/wadfile
WAD file reader
Language:Rust2 0
mgrabmueller/YoPebs
Training watchface for the Pebble Watch
Language:C