138 Repositories
Rust multiple-type Libraries
Use explicit container types with Scrypto! Leverage the Rust compiler's type checking to increase security and productivity when developing Radix blueprints.
Scrypto Static Types Use explicit container types with Scrypto! Leverage the Rust compiler's type checking to increase security and productivity when
A fast, stable, efficient, and lightweight intranet penetration, port forwarding tool supports multiple connections, cascading proxy, and transmission encryption
A fast, stable, efficient, and lightweight intranet penetration, port forwarding tool supports multiple connections, cascading proxy, and transmission encryption
A type-safe, high performance ORM framework
A type-safe, high performance ORM framework
archive-rs provides a generic way of dealing with multiple archive and compression formats in Rust
archive-rs A Rust crate that aims to provide a generic way of dealing with multiple archive and compression formats by providing a generic abstraction
A thread pool for running multiple tasks on a configurable group of threads.
Threadfin A thread pool for running multiple tasks on a configurable group of threads. Extra features: Dynamic pool size based on load Support for asy
A fusion of OTP lib/dialyzer + lib/compiler for regular Erlang with type inference
Typed ERLC The Problem I have a dream, that one day there will be an Erlang compiler, which will generate high quality type-correct code from deduced
GitLab Deploy is used for deploying software projects to multiple hosts during different phases.
GitLab Deploy is used for deploying software projects to multiple hosts during different phases. This program should be run on Linux.
A Rust binary for file encryption to multiple participants.
Kaspa-miner A Rust binary for file encryption to multiple participants. Installation From Sources With Rust's package manager cargo, you can install k
Program analysis playground for a simple, imperative language
Proggers Proggers is a program analysis playground for a simple, imperative language. Features Numerical analysis using abstract interpretation Type-c
A Rust framework for building context-sensitive type conversion.
Xylem is a stateful type conversion framework for Rust.
TUI input library supporting multiple backends
tui-input WARNING: Most of the functionality is only human tested. A TUI input library supporting multiple backends. This crate can be used with tui-r
Mononym is a library for creating unique type-level names for each value in Rust.
Mononym is a library for creating unique type-level names for each value in Rust.
🌌⭐cosmo is a wrapper for Git essentially, allowing you to compress multiple commands into one
❯ Cosmo Git tooling of the future New feature: Cosmo hooks! Click here for more info! ❯ 👀 Features Config files (with defaults!) Fast Easy to use Fri
Download a file using multiple threads in parallel for faster download speeds.
multidl Download a file using multiple threads in parallel for faster download speeds. Uses 0 external dependencies. Usage Usage: multidl [--help] ADD
Generator of Firestore rules and type safe client code.
Generator of Firestore rules and type safe client code. Usage [WIP] Install from npm or curl. $ npm install -g firegen Setting your yml. # firegen.yml
Tyrade: a pure functional language for type-level programming in Rust
A pure functional language for type-level programming in Rust
Turbine is a toy CLI app for converting Rails schema declarations into equivalent type declarations in other languages.
Turbine Turbine is a toy CLI app for converting Rails schema declarations into equivalent type declarations in other languages. It’s described as a to
A memory efficient immutable string type that can store up to 24* bytes on the stack
compact_str A memory efficient immutable string type that can store up to 24* bytes on the stack. * 12 bytes for 32-bit architectures About A CompactS
atttribute macro for running a flaky test multiple times
flaky_test This attribute macro will register and run a test 3 times, erroring only if all three times fail. Useful for situations when a test is flak
A quick and dirty Space Invaders type game in Bevy, with attached tutorial.
This article is in-development and will be released in full form soon. It'll appear on Medium (my publisher likes that), with this as a the accompanyi
A cross-platform GUI library for Rust focused on simplicity and type-safety
A cross-platform GUI library for Rust, inspired by Elm
Trustworthy encrypted command line authenticator app compatible with multiple backups.
cotp - command line totp authenticator I believe that security is of paramount importance, especially in this digital world. I created cotp because I
📼 Wrapper around ffmpeg which simplifies merging of multiple videos
Vidmerger A wrapper around ffmpeg which simplifies merging of multiple videos. 🙉 What is this exactly? Vidmerger is a command-line-tool which uses ff
🕵️Scrape multiple media providers on a cron job and dispatch webhooks when changes are detected.
Jiu is a multi-threaded media scraper capable of juggling thousands of endpoints from different providers with unique restrictions/requirements.
SixtyFPS is a toolkit to efficiently develop fluid graphical user interfaces for any display: embedded devices and desktop applications. We support multiple programming languages, such as Rust, C++ or JavaScript.
SixtyFPS is a toolkit to efficiently develop fluid graphical user interfaces for any display: embedded devices and desktop applications. We support multiple programming languages, such as Rust, C++ or JavaScript.
This crate provides a convenient macro that allows you to generate type wrappers that promise to always uphold arbitrary invariants that you specified.
prae This crate provides a convenient macro that allows you to generate type wrappers that promise to always uphold arbitrary invariants that you spec
basic multiple package manager
baka basic multiple package manager Docs Env baka_root_setting Windows: %USERPROFILE%/.baka/config Linux, Mac: $HOME/.baka/config baka_plugins (Just u
Spawn multiple concurrent unix terminals in Discord
Using this bot can be exceedingly dangerous since you're basically granting people direct access to your shell.
Hitbox is an asynchronous caching framework supporting multiple backends and suitable for distributed and for single-machine applications.
Hitbox is an asynchronous caching framework supporting multiple backends and suitable for distributed and for single-machine applications.
Experimental type-safe geometric algebra for Rust
Projective Geometric Algebra This library is a Rust code generator, generating the mathematics you need for a geometric algebra library. I made it mos
Splits test files into multiple groups to run tests in parallel nodes
split-test split-test splits tests into multiple groups based on timing data to run tests in parallel. Installation Download binary from GitHub releas
Type-safe, compiled Jinja-like templates for Rust
Askama Askama implements a template rendering engine based on Jinja. It generates Rust code from your templates at compile time based on a user-define
A static, type inferred and embeddable language written in Rust.
gluon Gluon is a small, statically-typed, functional programming language designed for application embedding. Features Statically-typed - Static typin
Truly cross platform, truly native. multiple backend GUI for rust
WIP: Sauron-native a rust UI library that conquers all platforms ranging from desktop to mobile devices. An attempt to create a truly native, truly cr
Single-reader, multi-writer & single-reader, multi-verifier; broadcasts reads to multiple writeable destinations in parallel
Bus Writer This Rust crate provides a generic single-reader, multi-writer, with support for callbacks for monitoring progress. It also provides a gene
👩❤️💋👩 Synchronize installed packages on multiple machines
emplace Command-line tool to mirror installed software on multiple machines. Features Outputs a human-readable (RON) file to sync between machines: .e
Multiple USB File Flasher
Popsicle Popsicle is a Linux utility for flashing multiple USB devices in parallel, written in Rust. Build Dependencies If building the GTK front end,