jensengrey's Stars
gamozolabs/orange_slice
A research kernel and hypervisor attempting to get fully deterministic emulation with minimum performance cost
tensorflow/mlir
"Multi-Level Intermediate Representation" Compiler Infrastructure
JDemler/BidirectionalTypechecking
Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"
dtolnay/proc-macro-workshop
Learn to write Rust procedural macros [Rust Latam conference, Montevideo Uruguay, March 2019]
arkworks-rs/snark
Interfaces for Relations and SNARKs for these relations
julvo/htmlgo
A library for writing type-safe HTML in Golang
giltene/wrk2
A constant throughput, correct latency recording variant of wrk
wilsonpage/fastdom
Eliminates layout thrashing by batching DOM measurement and mutation tasks
bodil/typed-html
Type checked JSX for Rust
sfackler/cargo-tree
RustPython/RustPython
A Python Interpreter written in Rust
tidwall/redcon
Redis compatible server framework for Go
aerospike/aerospike-client-rust
Rust client for the Aerospike database
brian-team/brian2
Brian is a free, open source simulator for spiking neural networks.
vmware/photon
Minimal Linux container host
facebook/zstd
Zstandard - Fast real-time compression algorithm
mml-book/mml-book.github.io
Companion webpage to the book "Mathematics For Machine Learning"
tobimensch/termsql
Convert text from a file or from stdin into SQL table and query it instantly. Uses sqlite as backend. The idea is to make SQL into a tool on the command line or in scripts.
pmemhackathon/2019-01-23
SNIA PM Summit Hackathon, January 23, 2019
matvp91/indigo-player
Highly extensible, modern, JavaScript video player. Handles MPEG-Dash / HLS / MPEG-4 and is built on top of the HTML5 video element.
Netflix/chaosmonkey
Chaos Monkey is a resiliency tool that helps applications tolerate random instance failures.
LinkedInAttic/simoorg
Failure inducer framework
sergiocorreia/panflute
An Pythonic alternative to John MacFarlane's pandocfilters, with extra helper functions