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!

WebAssembly Composition (WAC) tooling

Documentation around creating and using WebAssembly Components

Unofficial port of the Cohere SDK

Empowering everyone to build reliable and efficient software.

A repository for sharing test code and experimenting with anycast in preparation for the MQP

Add hardship to your tests

A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.

A Cryptographic Protocol Programming Language Compiler and Runtime

Kodkod solver for relational logic

A modern proof language

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 simplest, fastest way to get business intelligence and analytics to everyone in your company 😋

Extra iterator adaptors, iterator methods, free functions, and macros.

Maintainable configuration files

Maintainable configuration files

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.

Defines the Rust borrow checker.

BNF wrangling and railroad diagrams

Rust ❤️ Emacs

DFA regular expression library & friends

Distributed SQL database in Rust, written as an educational project

Serialization framework for Rust

Learn to write Rust procedural macros  [Rust Latam conference, Montevideo Uruguay, March 2019]

A lightweight Datalog engine in Rust