BKDaugherty

hubris

A lightweight, memory-protected, message-passing kernel for deeply embedded systems.

a-mir-formality

a model of MIR and the Rust type/trait system

impedance

Tools to mix blocking and async code

sonatina

fe

Emerging smart contract language for the Ethereum blockchain.

computerraria

A fully compliant RISC-V computer made inside the game Terraria

aerugo

Safety-critical applications oriented Real-Time Operating System written in Rust

koka

Koka language compiler and interpreter

foundry

Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.

plt

Programming Language Theory λΠ

deno

A modern runtime for JavaScript and TypeScript.

wasmer

🚀 The leading Wasm Runtime supporting WASIX, WASI and Emscripten

dungeons_and_dragons

A version of dnd where your DM is an AI and everything is randomly generated

embassy

Modern embedded framework, using Rust and async.

cargo-check-deadlock

Find deadlocks in Rust code with Petri net model checking

opentelemetry-rust

The Rust OpenTelemetry implementation

controlpad_test_server

For game developers to test GameNite games with mobile device controls natively

gpt-engineer

Specify what you want it to build, the AI asks for clarification, and then builds it.

arroba

Python implementation of Bluesky PDS and AT Protocol, including repo, MST, and sync XRPC methods

learn-tt

A collection of resources for learning type theory and type theory adjacent fields.

paperclip

WIP OpenAPI tooling for Rust.

grpclib

Pure-Python gRPC implementation for asyncio

python-betterproto

Clean, modern, Python 3.6+ code generator & library for Protobuf 3 and async gRPC

git-pr

fd

A simple, fast and user-friendly alternative to 'find'

rqn

dbt-spark

dbt-spark contains all of the code enabling dbt to work with Apache Spark and Databricks

mosaic

An extension to the Apache Spark framework that allows easy and fast processing of very large geospatial datasets.

sea-orm

🐚 An async & dynamic ORM for Rust

containers

Sample base images for Databricks Container Services