Starred repositories
A lightweight WebAssembly runtime that is fast, secure, and standards-compliant
using apache kafka to conenct to routeviews data and monitor any of the incoming changes
Official repo for the ACSOS 2021 paper on how to manage many deep learning models at the edge!
Documentation around creating and using WebAssembly Components
Empowering everyone to build reliable and efficient software.
A repository for sharing test code and experimenting with anycast in preparation for the MQP
A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.
A Cryptographic Protocol Programming Language Compiler and Runtime
Forge: A Tool and Language for Teaching Formal Methods
a pragmatic point-free theorem prover assistant
A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/
The practical relational programing language for data-oriented applications
A monotonic solver designed to be easy to use with Rust enum expressions
The easy-to-use open source Business Intelligence and Embedded Analytics tool that lets everyone work with data 📊
Extra iterator adaptors, iterator methods, free functions, and macros.
This repo showcases several various misconfiguration bugs that affect real world Kube/Istio users if those bugs were made on Google Cloud Platform's Online Boutique microservices demo.
3
Updated Aug 27, 2020
Distributed SQL database in Rust, written as an educational project