Quick start Rust
Dual-licensed under MIT or Apache 2.0
eztd is meant to close the ergonomics gap between Rust and Python.
Use cases:
Goals:
Non-goals:
A bidirectional type inference system loosely based on Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism.
tanici 筑波大学の履修管理システム twins が出力するCSV(UTF-8)をもとに，coins20（情報科学類2020年度生）が卒業可能であるかを判定し不足を出力します．おまけとしてGPAの算出も行います． （免責事項：精度の保証はしません．あくまで参考程度に，責任は負いません．） Usa
A simple, single threaded and minimalistic port checker
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
Typed Type Exercise in Rust Build database expression type checker and vectorized runtime executor in type-safe Rust. This project is highly inspired
urlchecker A simple url checker for finding fraud url(s) or nearest url while being fast (threading) Eg:- use std::collections::HashMap; use urlchecke
💳 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
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
Open Proxies ⭐️ Leave me a start please ⭐️ it will motivate me to continue maintaining and adding futures About | Technologies | Requirements | Starti
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
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
Code-shape Code-shape is a tool that uses Tree-sitter to extract a shape of code definitions from a source code file. The tool uses the same language
H2O Kubernetes Repository with official tools to aid the deployment of H2O Machine Learning platform to Kubernetes. There are two essential tools to b
Elemental System Designs is an open source project to document system architecture design of popular apps and open source projects that we want to study
Mun Mun is a programming language empowering creation through iteration. Features Ahead of time compilation - Mun is compiled ahead of time (AOT), as
Apress Source Code This repository accompanies Practical Rust Web Projects by Shing Lyu (Apress, 2021). Download the files as a zip using the green bu
Hands-on Rust Source Code This repository contains the source code for the examples found in Hands-on Rust. These are also available from my publisher
PixivDaily (Rust) This repository contains the source code of the program running the Telegram channel @pixiv_daily. Usage First, you'll need to clone
Higher-order Finite Elements for Embedded Simulation This repository contains the source code used to produce the results for our paper: Longva, A., L
This PR contains the following updates:
| Package | Type | Update | Change |
|---|---|---|---|
| Swatinem/rust-cache | action | major | v1 -> v2 |
📅 Schedule: Branch creation - At any time (no schedule defined), Automerge - At any time (no schedule defined).
🚦 Automerge: Disabled by config. Please merge this manually once you are satisfied.
♻ Rebasing: Whenever PR becomes conflicted, or you tick the rebase/retry checkbox.
🔕 Ignore: Close this PR and you won't be reminded about this update again.
This PR has been generated by Mend Renovate. View repository job log here.
This PR contains the following updates:
| Package | Type | Update | Change |
|---|---|---|---|
| actions/checkout | action | major | v2 -> v3 |
35 Sep 22, 2022
1 Jan 31, 2022
1 Feb 12, 2022
52 Dec 26, 2022
89 Dec 27, 2022
2 Aug 7, 2022
3 Aug 9, 2022
15 Oct 5, 2022
3 Nov 29, 2022
3 Nov 21, 2022
16 Apr 13, 2023
3 Apr 21, 2023
16 Nov 12, 2022
9 Apr 10, 2022
1.5k Jan 9, 2023
44 Nov 17, 2022
261 Dec 14, 2022
5 Jun 23, 2022
18 Sep 30, 2022
v3📅 Schedule: Branch creation - At any time (no schedule defined), Automerge - At any time (no schedule defined).
🚦 Automerge: Disabled by config. Please merge this manually once you are satisfied.
♻ Rebasing: Whenever PR becomes conflicted, or you tick the rebase/retry checkbox.
🔕 Ignore: Close this PR and you won't be reminded about this update again.
This PR has been generated by Mend Renovate. View repository job log here.
Welcome to Renovate! This is an onboarding PR to help you understand and configure settings before regular Pull Requests begin.
🚦 To activate Renovate, merge this Pull Request. To disable Renovate, simply close this Pull Request unmerged.
crates/ergo/Cargo.toml (cargo).github/workflows/audit.yml (github-actions).github/workflows/ci.yml (github-actions).github/workflows/committed.yml (github-actions).github/workflows/rust-next.yml (github-actions)Based on the default config's presets, Renovate will:
fix for dependencies and chore for all others.node_modules, bower_components, vendor and various test/tests directories.🔡 Would you like to change the way Renovate is upgrading your dependencies? Simply edit the renovate.json in this branch with your custom config and the list of Pull Requests in the "What to Expect" section below will be updated the next time Renovate runs.
With your current configuration, Renovate will create 2 Pull Requests:
renovate/actions-checkout-3.xmainv3renovate/swatinem-rust-cache-2.xmainv2❓ Got questions? Check out Renovate's Docs, particularly the Getting Started section. If you need any further assistance then you can also request help here.
This PR has been generated by Mend Renovate. View repository job log here.
See
Bevy Lint What is Bevy Lint? This crates provides Lints for Bevy Code using dylint.
2019-10-07: I really haven't been on top of accepting pull requests or looking at issues, you guy should definitely look at SCC. It's faster and more
languagetool-code-comments integrates the LanguageTool API to parse, spell check, and correct the grammar of your code comments! Overview Install MacO
Periodic Words Have you ever wondered which words you can spell using only element abbreviations from the periodic table? Well thanks to this extremel
A model checker for implementing distributed systems.
Rust TLS/SSL certificate expiration date from command-line checker
DeGauss Your friendly neighborhood Avro schema compatibility checker. Install cargo install degauss Example Check the compatibility of your schemas d
WriteForAll: tips to make text better WriteForAll is a text file style checker, that compares text documents with editorial tips to make text better.
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
bidi-higher-rank-poly Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorph
39 Dec 21, 2022
2.1k Jan 2, 2023
17 Dec 25, 2022
11 Apr 26, 2021
1.3k Dec 15, 2022
9 Nov 9, 2022
11 Aug 9, 2022
2 Dec 27, 2022
274 Nov 5, 2022
23 Oct 18, 2022