This is a project to learn how to implement instruction dispatch in Rust.

A mechanisation of Wasm in Coq

A mechanisation of Wasm in Isabelle.

A model of the WebAssembly language in Redex

Why not Rust for something this important

Official repository of "SAMURAI: Adapting Segment Anything Model for Zero-Shot Visual Tracking with Motion-Aware Memory"

JSON-LD implementation for Rust

Utility crates used in RustCrypto

A version control system for RDF datasets

A small gem to serialize Ruby objects as RDF

Document to Markdown OCR library with Llama 3.2 vision

D2 is a modern diagram scripting language that turns text to diagrams.

Tensor library for Zig

🌉 A bridge between decentralized social network protocols

🐉 Making Rust a first-class language and ecosystem for GPU shaders 🚧

This is a repo with links to everything you'd ever want to learn about data engineering

Release repo for our SLAM Handbook

Low code platform for building business apps and workflows in minutes. Supports PostgreSQL, MySQL, MariaDB, MSSQL, MongoDB, Rest API, Docker, K8s, and more 🚀

PDF reader for terminal emulators using the Kitty image protocol

Security advisory database for Rust crates published through crates.io

A Free and Open Source software to control your Pulsetto vagus nerve stimulator

Stream VR games from your PC to your headset via Wi-Fi

Flow-Based Programming (backbone repository)

Rust library allowing to register multiple handlers for the same signal

Adaptors between compression crates and Rust's async IO types

Simple, open source, lightweight (< 1 KB) and privacy-friendly web analytics alternative to Google Analytics.

JSON-LD 1.1 Processing Algorithms and API Specification

A user interface for QLever

Create and verify W3C Verifiable Credentials and Presentations in JWT format