Mikal's Projects
[not maintained] Lightweight JavaScript library operating system for the cloud
Objective-C Runtime Browser, for Mac OS X and iOS
Change C++ code at runtime
HACL*, a formally verified cryptographic library for Rust (binding to hacl-c).
Rust implementation of i2p protocol.
MPFR (multi-precision floating point) numeric interface for Rust.
Generate bindings to use Rust code in Qt and QML
Rust language bindings for Bitcoin secp256k1 library.
A pure-Rust implementation of various threshold secret sharing schemes
Very incomplete Scheme interpreter, written in Rust
A hobbyist microkernel written in Rust, featuring a capability-based system similar to seL4.
simple virtual machine and assembler
Machine Learning on Sequential Data Using a Recurrent Weighted Average
Ruby Web Dev: The Other Way. Personal best practices guide.
Read and write physical memory on OS X
thin RXJS abstraction layer for pouchDB with read and write RXJS operators.
A tool for analyzing and find vulnerabilities in macOS and iOS kernel drivers.
An open-source Node.js implementation of a server handling the S3 protocol
FUSE-based single file backing store via Amazon S3
Gateway between an S3 compatible storage and Linux network block devices.
Implementation of AES-CBC (Advanced Encryption Standard โ Cipher Block Chaining) File Encryption & Decryption using Amazonโs S3 cloud storage
FUSE-based file system backed by Amazon S3
Linux userspace block device over S3.
Simple HTTP proxy to allow non-S3-aware applications to access private Amazon S3 buckets
SaaS Startup Checklist
Salsa20 stream cipher in C and x86 assembly
Repository for sample controller. Complements sample-apiserver
Simple tools to make console cowboying easier. Mostly *nix tools with an emphasis on OS X.