Skip to content
View softprops's full-sized avatar
®️
Rustling
®️
Rustling

Organizations

@ny-scala @unfiltered @sbt @nescalas
Block or Report

Block or report softprops

Report abuse

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

Report abuse
Beta Lists are currently in beta. Share feedback and report bugs.

Starred repositories

Showing results

Learn Go with test-driven development

Go 21,651 2,765 Updated Jul 19, 2024

kaskade is a text user interface for kafka, which allows you to interact and consume topics from your terminal in style!

Python 661 11 Updated Jul 16, 2024

io_uring like asynchronous API and coroutine powered IO tasks for zig

Zig 70 Updated Jul 19, 2024
Zig 24 2 Updated Jun 10, 2024

Extensions for the Zed editor

JavaScript 626 254 Updated Jul 19, 2024

High level model for MongoDB consistency

TLA 6 Updated Jul 18, 2024

TLA+ Spec of a simplified part of MongoDB replication system

TLA 45 5 Updated Nov 23, 2019

TLC models for the MongoDB Replication TLA+ specification.

TLA 20 2 Updated Nov 3, 2020
Zig 30 Updated Jul 9, 2024

⚡ Zig binding & wrapper for a tiny cross-platform webview library to build modern cross-platform GUIs.

Zig 65 6 Updated Jul 6, 2024

A productive and type-safe MongoDB ODM for Go. Based on the official MongoDB driver but elegant to use.

Go 44 4 Updated Jul 8, 2024

Implementation of the Cedar Policy Language

Rust 776 66 Updated Jul 19, 2024

Zero-allocation Client for Redis 6+

Zig 200 15 Updated Mar 25, 2024

libxev is a cross-platform, high-performance event loop that provides abstractions for non-blocking IO, timers, events, and more and works on Linux (io_uring or epoll), macOS (kqueue), and Wasm + W…

Zig 1,818 55 Updated Jun 24, 2024

A finite state machine library for Zig

Zig 92 3 Updated Jun 26, 2024

SQL Database Explorer [SQLite, libSQL, PostgreSQL, MySQL/MariaDB, DuckDB, ClickHouse]

Rust 1,769 38 Updated Jul 15, 2024

🌞 🦀 🌙 Weather companion for the terminal. Rust app.

Rust 336 22 Updated Jul 18, 2024

OpenAPI specification and types for the Figma REST API

49 7 Updated Jul 10, 2024

A fast and lightweight native programming language

Shell 1,175 41 Updated Jul 18, 2024

💻Build one codebase and get native UI on Windows, Linux and Web

Zig 1,516 61 Updated Jul 17, 2024

Specifications related to MongoDB

Python 381 237 Updated Jul 16, 2024

A high performance and flexible authorization/permission engine built for developers and inspired by Google Zanzibar

Go 2,512 172 Updated Jul 19, 2024

SCRAM implmementation for Zig (both client and server) (RFC 5802)

Zig 2 1 Updated Dec 29, 2023

Performance Optimizer Observation Platform

Zig 742 50 Updated Jul 18, 2024

💯 Curated coding interview preparation materials for busy software engineers

TypeScript 114,332 14,341 Updated Jul 17, 2024

Backstage is an open framework for building developer portals

TypeScript 27,143 5,683 Updated Jul 18, 2024

The MongoDB Database

C++ 25,836 5,517 Updated Jul 19, 2024

Java compiler for primary Squarespace template language

Java 41 14 Updated May 9, 2024

📈A lambda for scaling an AutoScalingGroup based on Buildkite metrics

Go 60 26 Updated Jul 18, 2024
Next