39 Repositories
Rust update-checker Libraries
A simple tool to convert a WebAssembly module to a WASI component (component model, WASI-preview2).
A simple tool to convert a WebAssembly module (wasm32-wasi, wasm32-freestanding) to a WASI component (component model, WASI-preview2). Installation In
Alternative Mizar proof checker written in Rust
Mizar proof checker This is a (still experimental) proof checker for the Mizar language. To compile the project, get Rust 1.67 or later (https://rustu
🔣 nerdfix helps you to find/fix obsolete Nerd Font icons in your project.
🔣 nerdfix nerdfix helps you to find/fix obsolete Nerd Font icons in your project. 💭 Why Nerd Fonts is used in many projects for a beautiful UI. It p
🥸P2P gossip network for update transparency, based on pgp 🥸
apt-swarm An attempt to make a secure public p2p protocol that gossips about signed InRelease files to implement an update transparency log. Running a
Update Twitter profile with a meter showing how close you are to code burnout.
WakaTime Code Burnout Meter in Twitter Profile Inspired by trash's Twitter profile, this repo adds a burnout meter to your Twitter profile. It uses Wa
A fast static code analyzer & language server for Python
pylyzer ⚡ pylyzer is a static code analyzer / language server for Python written in Rust. Installation cargo (rust package manager) cargo install pyly
Plex webhook service to automatically update your Anilist watching list.
anifunnel Plex webhook service to automatically update your Anilist watching list. Description anifunnel is a web server that will consume incoming Pl
A Team Fortress 2 SDK written in Rust that I update every now and then
tf-rs A Team Fortress 2 SDK written in Rust that I update every now and then. Most of this has been written in early November. I've published it so th
The utility is designed to check the availability of peers and automatically update them in the Yggdrasil configuration file, as well as using the admin API - addPeer method.
Yggrasil network peers checker / updater The utility is designed to check the availability of peers and automatically update them in the Yggdrasil con
A simple path traversal checker made with Rust. Useful for APIs that serve dynamic files.
Path trav A simple path traversal checker made with Rust. Useful for APIs that serve dynamic files. Note: this is a security tool. If you see somethin
Simple and fast proxy checker that include protocol validation;
Open Proxies ⭐️ Leave me a start please ⭐️ it will motivate me to continue maintaining and adding futures About | Technologies | Requirements | Starti
'apk-yara-checker' is a little CLI tool written in Rust to check Yara rules against a folder of APK files.
apk-yara-checker 'apk-yara-checker' is a little CLI tool written in Rust to check Yara rules against a folder of APK files. You have to pass the folde
A credit card checker written in Rust
💳 Credit Card Checker A credit card checker written in Rust Checks if a card number is valid with the help of the Luhn algorithm and checks also for
A simple url checker for finding fraud url(s) or nearest url
urlchecker A simple url checker for finding fraud url(s) or nearest url while being fast (threading) Eg:- use std::collections::HashMap; use urlchecke
Library provides a simple API for Google Firestore for create/update/query/streaming/listening data
Firestore for Rust Library provides a simple API for Google Firestore: Create or update documents using Rust structures and Serde; Support for queryin
Grsql is a great tool to allow you set up your remote sqlite database as service and CRUD(create/read/update/delete) it using gRPC.
Grsql is a great tool to allow you set up your remote sqlite database as service and CRUD (create/ read/ update/ delete) it using gRPC. Why Create Thi
Simple CLI to (add, delete, update, create) i18n translation file 🔤 🦀
, Inrs Simple CLI to (add, delete, update, create) i18n translation file Copyright (C) 2020-2022 TheAwiteb https://github.com/TheAwiteb/inrs This pr
Build database expression type checker and vectorized runtime executor in type-safe Rust
Typed Type Exercise in Rust Build database expression type checker and vectorized runtime executor in type-safe Rust. This project is highly inspired
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
A simple, single threaded and minimalistic port checker
A simple, single threaded and minimalistic port checker
coins20's graduation requirements checker
tanici 筑波大学の履修管理システム twins が出力するCSV(UTF-8)をもとに,coins20(情報科学類2020年度生)が卒業可能であるかを判定し不足を出力します.おまけとしてGPAの算出も行います. (免責事項:精度の保証はしません.あくまで参考程度に,責任は負いません.) Usa
A bidirectional type checker
A bidirectional type inference system loosely based on Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism.
Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" written in OCaml
bidi-higher-rank-poly Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorph
A cargo subcommand for checking and applying updates to installed executables
cargo-update A cargo subcommand for checking and applying updates to installed executables Documentation Manpage Installation Firstly, ensure you have
Checks all your documentation for spelling and grammar mistakes with hunspell and a nlprule based checker for grammar
cargo-spellcheck Check your spelling with hunspell and/or nlprule. Use Cases Run cargo spellcheck --fix or cargo spellcheck fix to fix all your docume
Easily update your minecraft mods with 1 file (guess I'm back to rust again)
Mod Updater This program updates all your mods to a newer/later version. To use: Create a file named config.toml Create a folder named mods; Add the f
Rust implementation of The Update Framework (TUF)
rust-tuf A Rust implementation of The Update Framework (TUF). Full documentation is hosted at docs.rs. Warning: Beta Software This is under active dev
Update informer for CLI applications written in Rust 🦀
Update-informer Update informer for CLI applications written in Rust 🦀 Usage Add to Cargo.toml: [dependencies] update-notifier = "0.1.0" To check the
Hosts EDitor, it will add/update/delete host entries for you
Host EDitor A command-line tool to easily manage you hosts file. View Demo · Report Bug · Request Feature Table of Contents About The Project Built Wi
WriteForAll is a text file style checker, that compares text documents with editorial tips to make text better.
WriteForAll: tips to make text better WriteForAll is a text file style checker, that compares text documents with editorial tips to make text better.
Avro schema compatibility checker
DeGauss Your friendly neighborhood Avro schema compatibility checker. Install cargo install degauss Example Check the compatibility of your schemas d
An extended CW721 (v0.9.2) with update, burn, freeze, set_minter functionalities.
Extended CW721 Extended CW721 NFT with update, burn, freeze, set_minter functionalities
Rust TLS/SSL certificate expiration date from command-line checker
Rust TLS/SSL certificate expiration date from command-line checker
uefi update 4 amd cpu's
Description UEFI is the successor to the BIOS. It provides an early boot environment for OS loaders, hypervisors and other low-level applications. Whi
Source code spell checker
eztd is meant to close the ergonomics gap between Rust and Python.
A model checker for implementing distributed systems.
A model checker for implementing distributed systems.
A fast, low-resource Natural Language Processing and Text Correction library written in Rust.
nlprule A fast, low-resource Natural Language Processing and Error Correction library written in Rust. nlprule implements a rule- and lookup-based app
Arch Linux Security Update Notifications
arch-audit-gtk Show an indicator if there are any security updates missing for your Arch Linux system. Install git clone https://aur.archlinux.org/arc
Cross-platform tool to update DNS such as Gandi.net with your dynamic IP address
GDU | Generic DNS Update A cross-platform tool to update DNS zonefiles (such as Gandi.net) when you have a dynamic public IP address. It's a DynDNS or