43 Repositories
Rust feature-extraction Libraries
Theorem relational dependencies automatic extraction and visualization as a graph for Lean4.
Lean Graph Interactive visualization of dependencies for any theorem/definitions in your Lean project. How to use In your browser: lean-graph.com Or r
A beautiful and feature-packed Apple Music CLI
am A beautiful and feature-packed Apple Music CLI! Written in Rust. Installation Nix (recommended) This GitHub repository contains a flake. Add github
Peakrs Dataframe is a library and framework facilitates the extraction, transformation, and loading (ETL) of data.
Peakrs Dataframe Peakrs Dataframe is a library and framework facilitates the extraction, transformation, and loading (ETL) of data. Its first applicat
Estratto is a powerful and user-friendly Rust library designed for extracting rich audio features from digital audio signals.
estratto 〜 An Audio Feature Extraction Library estratto is a powerful and user-friendly Rust library designed for extracting rich audio features from
A suite of benchmarks to test e-graph extraction algorithms
Extraction Gym A suite of benchmarks to test e-graph extraction algorithms. Add your algorithm in src/extract and then add a line in src/main.rs. To r
Find potential unused enabled feature flags and prune them.
Potential unused, enabled feature flag finder and pruner. This cargo tool allows you to find and prune enabled, but, potentially unused feature flags
Use asynchronous api requests in conjunction with yew's suspense feature
Yew API Hook Use asynchronous api requests in conjunction with yew's suspense feature Usage #[function_component] fn App() - Html { html! {
A demo repo that shows how to use the latest component model feature in wasmtime to implement a key-value capability defined in a WIT file.
Key-Value Component Demo This repo serves as an example of how to use the latest wasm runtime wasmtime and its component-model feature to build and ex
A visual novel engine that draws inspiration from RenPy and is meant to be a more performant replacement with feature parity.
VN Engine A visual novel engine that draws inspiration from RenPy and is meant to be a more performant replacement with feature parity. The engine is
A visual novel engine that draws inspiration from RenPy and is meant to be a more performant replacement with feature parity.
VN Engine A visual novel engine that draws inspiration from RenPy and is meant to be a more performant replacement with feature parity. The engine is
Machine learning framework for building object trackers and similarity search engines
Similari Similari is a framework that helps build sophisticated tracking systems. The most frequently met operations that can be efficiently implement
Date and time library for Rust. Feature rich, lightweight and easy-to-use.
Astrolabe Date and time library for Rust. Feature rich, lightweight and easy-to-use. Documentation | Github | Crate Example Status Astrolabe is curren
Fast, minimal, feature-rich, extended formatting syntax for Rust!
Formatting Tools Fast, minimal, feature-rich, extended formatting syntax for Rust! Features include: Arbitrary expressions inside the formatting brace
Toggle parallelism with feature flags!
maybe_parallel_iterator Write your code once. Then toggle between sequential and parallel iterators with a feature flag! let a: Veci32 = (0..100).co
An abstract, safe, and concise color conversion library for rust nightly This requires the feature adt_const_params
colortypes A type safe color conversion library This crate provides many methods for converting between color types. Everything is implemented abstrac
Tools to feature more lenient Polonius-based borrow-checker patterns in stable Rust
Though this be madness, yet there is method in 't. More context Hamlet: For yourself, sir, shall grow old as I am – if, like a crab, you could go back
Firefox used to have this feature a while back (from Firefox 11 to 46) and it is so good, that I feel it needs revival.
3D WebPage Inspector By: Seanpm2001, Et; Al. Top README.md Read this article in a different language Sorted by: A-Z Sorting options unavailable ( af A
Dc improved: Feature-added rewrite of a 50+ year old RPN calculator/stack machine/programming language
dcim [WIP] dc improved: Feature-added rewrite of a 50+ year old RPN calculator/stack machine/programming language This readme is currently incomplete.
Terminal based, feature rich, interactive SQL tool
datafusion-tui (dft) DataFusion-tui provides a feature rich terminal application, built with tui-rs, for using DataFusion (and eventually Ballista). I
Extract documentation for the feature flags from comments in Cargo.toml
Document your crate's feature flags This crate provides a macro that extracts documentation comments from Cargo.toml To use this crate, add #![doc = d
A simple, yet feature-filled wrapper around the coqui-stt C API
A simple, yet feature-filled wrapper around the coqui-stt C API
Document your crate's feature flags
Document your crate's feature flags This crate provides a macro that extracts documentation comments from Cargo.toml To use this crate, add #![doc = d
Live Server - Launch a local network server with live reload feature for static pages
Live Server - Launch a local network server with live reload feature for static pages
This contract is to provide vesting account feature for the both cw20 and native tokens, which is controlled by a master address
Token Vesting This contract is to provide vesting account feature for the both cw20 and native tokens, which is controlled by a master address. Instan
A GUI for NordVPN on Linux that maintains feature parity with the official clients, written with Rust and GTK.
Viking for NordVPN This project aims to provide a fully usable and feature-complete graphical interface for NordVPN on Linux. While it attempts to clo
A lightweight but incredibly powerful and feature-rich BitTorrent tracker. Supports UDP + HTTP(S) and a private tracker mode.
Torrust Tracker Project Description Torrust Tracker is a lightweight but incredibly powerful and feature-rich BitTorrent tracker made using Rust. Feat
Utility library for some Lenovo IdeaPad laptops. Supports IdeaPad Intel and AMD Models (15IIL05 and 15ARE05)
ideapad A Rust utility library for some Lenovo IdeaPad specific functionality. A Fair Warning This crate calls raw ACPI methods, which on the best cas
Self Organizing Map (SOM) is a type of Artificial Neural Network (ANN) that is trained using an unsupervised, competitive learning to produce a low dimensional, discretized representation (feature map) of higher dimensional data.
som Self Organizing Map Pre-requisites Setup rust To download Rustup and install Rust, run the following in your terminal, then follow the on-screen i
Maximum Relevance - Minimum redundancy feature selection algorithm
mrmr Maximum Relevance - Minimum redundancy feature selection algorithm implemented in Rust. Usage CLI app. It gets input from a csv dataset with head
Native cross-platform full feature terminal-based sequence editor for git interactive rebase.
Native cross-platform full feature terminal-based sequence editor for git interactive rebase.
An implementation of request routing via a singular grouped regex (with support for path parameter extraction).
rs-regex-router An implementation of request routing via a singular grouped regex (with support for path parameter extraction). Features Design approa
Distrod is a meta-distro for WSL 2 which runs Systemd as init process. You can run Ubuntu, Arch, and et.c with systemd in a minute. Distrod also has built-in auto-start feature on Windows startup and port forwarding abiltiy.
Distrod - WSL2 Distros with Systemd! Distrod is a systemd-based meta-distro for WSL2 that allows you to install Ubuntu, Arch Linux, Gentoo and many ot
A feature-few, no-allocation JSON parser in `no_std` rust.
Small JSON Parser in no_std This library reads and parses JSON strings. Its intended use case is to read a JSON payload once. It does not serialise da
🖥 A feature rich terminal UI file transfer and explorer with support for SCP/SFTP/FTP/S3
🖥 A feature rich terminal UI file transfer and explorer with support for SCP/SFTP/FTP/S3
A fast isosurface extraction algorithm.
fast-surface-nets A fast, chunk-friendly implementation of Naive Surface Nets on regular grids. Surface Nets is an algorithm for extracting an isosurf
⚡ Insanely fast, 🌟 Feature-rich searching. lnx is the adaptable deployment of the tantivy search engine you never knew you wanted. Standing on the shoulders of giants.
✨ Feature Rich | ⚡ Insanely Fast An ultra-fast, adaptable deployment of the tantivy search engine via REST. 🌟 Standing On The Shoulders of Giants lnx
⚡ Insanely fast, 🌟 Feature-rich searching. lnx is the adaptable deployment of the tantivy search engine you never knew you wanted. Standing on the shoulders of giants.
✨ Feature Rich | ⚡ Insanely Fast An ultra-fast, adaptable deployment of the tantivy search engine via REST. 🌟 Standing On The Shoulders of Giants lnx
A feature-rich, production-ready, general purpose 2D/3D game engine written in Rust with a scene editor.
A feature-rich, production-ready, general purpose 2D/3D game engine written in Rust with a scene editor.
An feature packed Google Tasks CLI written purely in Rust
rChore A feature packed unofficial Google Tasks CLI to boost your producitvity, written purely in Rust. 🤔 What is rChore? rChore is an unofficial Goo
A library that creates a terminal-like window with feature-packed drawing of text and easy input handling. MIRROR.
BearLibTerminal provides a pseudoterminal window with a grid of character cells and a simple yet powerful API for flexible textual output and uncompli
Autorebase automatically rebases all of your feature branches onto master.
Autorebase automatically rebases all of your feature branches onto master. If conflicts are found it will rebase to the last commit that doesn't cause conflicts. By default, branches with an upstream are excluded. You don't need to switch to any branch, the only limitation is that a branch that is checked out and not clean will not be rebased (though I may add that in future).
Fast Geospatial Feature Storage API
Hecate OpenStreetMap Inspired Data Storage Backend Focused on Performance and GeoJSON Interchange Hecate Feature Comparison Feature Hecate ESRI MapSer
The feature-rich, portable async channel library
The feature-rich, portable async channel library crates.io docs.rs Why use Postage? Includes a rich set of channels. | barrier | broadcast | dispa