Skip to content
View piodul's full-sized avatar

Block or report piodul

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Formal verification tool for Rust: check 100% of execution cases of your programs πŸ¦€ to make super safe applications! ✈️ πŸš€ βš•οΈ 🏦

Coq 906 31 Updated May 22, 2025

A procedural textures authoring and 3D model painting tool based on the Godot game engine

GDScript 3,976 246 Updated May 23, 2025

A C++/Rust interop tool

Rust 292 8 Updated May 20, 2025

Command-line sampling profiler for macOS, Linux, and Windows

Rust 3,014 67 Updated May 19, 2025

Rust ORM for ScyllaDB and Apache Cassandra

Rust 160 12 Updated May 7, 2025

API-compatible rewrite of https://github.com/scylladb/cpp-driver as a wrapper for Rust driver.

C++ 18 12 Updated May 15, 2025

A buffering MPSC queue.

Rust 78 2 Updated Jul 12, 2024

Yet another ScyllaDB Rust driver, but faster

Rust 29 Updated Jul 3, 2023

πŸš€ Catalytic is an ORM for ScyllaDb and Cassandra which provides zero-cost abstractions for querying and generating Rust structs based on the database. Scylla and Cassandra are both NoSQL databases …

Rust 103 11 Updated Oct 22, 2024

Asyncronous Python client for Cassandra and Scylla

Python 56 4 Updated Jan 20, 2025

Experimental, high performance Scylla Driver, University of Warsaw students' project

Go 154 7 Updated Oct 13, 2022

NoSQL data store using the Seastar framework, compatible with Apache Cassandra and Amazon DynamoDB

C++ 14,515 1,374 Updated May 22, 2025

A reflex stream adapter for scylladb CDC log.

Go 5 Updated Mar 3, 2021

Glommio is a thread-per-core crate that makes writing highly parallel asynchronous applications in a thread-per-core architecture easier for rustaceans.

Rust 3,285 171 Updated Apr 29, 2025

Async CQL driver for Rust, optimized for ScyllaDB!

Rust 633 131 Updated May 19, 2025
C++ 11 Updated Aug 7, 2023