Overmind Jiang's repositories
kitchen-sink
Literally.
punch-forward
A port forwarder written in Haskell, using UDP hole-punching as its NAT traversal technique.
adb-reverse-compat
`adb reverse` for older devices.
hello-audio
Playing with computer generated audio.
polymorphic-type-inference
Implementing Mark P Jones's <Typing Haskell in Haskell> and SPJ's <TIoPL>.
react-native-webview-bridge
React Native Webview with Javascript Bridge
dyld-notes
Some notes concerning the dynamic loader in OSX.
hs-mini-kanren
A miniKanren implementation in Haskell.
simple-obfus
Obfuscates network connections to traverse IDS
android-rs-glue
Glue between Rust and Android
CS510-Advanced-Topics-in-Concurrency
CS510 Advanced Topics in Concurrency Project
cs510-comp-sound
Final project for CS 510 Sound.
cs577-pattern-matching-compiler
CS 577 Final Project: Pattern Matching Compiler
fp-lean
Functional Programming in Lean
hl-interp
A toy symbolic simulator for Micro Policies.
mastodon-priv
Some l10n changes on top of mastodon.
naive-parsec
A naive parse combinator library
react-native-physics-playground
Trying different physics simulation engines in React Native.
react-native-redux-playground
Playing with ReactNative, Redux and TypeScript.
react-native-spinkit
A collection of animated loading indicators for React Native
react-native-video
A <Video /> component for react-native
rust-openssl
OpenSSL bindings for Rust
spacemacs
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
tcp-graceful-shutdown
Experimenting with TCP graceful shutdown behaviors in different OSs and libraries.