筑波大学の履修管理システム twins が出力するCSV(UTF-8)をもとに，coins20（情報科学類2020年度生）が卒業可能であるかを判定し不足を出力します．おまけとしてGPAの算出も行います． （免責事項：精度の保証はしません．あくまで参考程度に，責任は負いません．）
$ git clone https://github.com/cyanolupus/tanici
$ cd tanici
$ cargo build
$ target/release/tanici SIR000000000.csv
または
$ git clone https://github.com/cyanolupus/tanici
$ cd tanici
$ cargo run SIR000000000.csv
のようにする．
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
A bidirectional type inference system loosely based on Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism.
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
Bumps regex from 1.5.4 to 1.5.5.
Sourced from regex's changelog.
1.5.5 (2022-03-08)
This releases fixes a security bug in the regex compiler. This bug permits a vector for a denial-of-service attack in cases where the regex being compiled is untrusted. There are no known problems where the regex is itself trusted, including in cases of untrusted haystacks.
- SECURITY #GHSA-m5pq-gvj9-9vr8: Fixes a bug in the regex compiler where empty sub-expressions subverted the existing mitigations in place to enforce a size limit on compiled regexes. The Rust Security Response WG published an advisory about this: https://groups.google.com/g/rustlang-security-announcements/c/NcNNL1Jq7Yw
274 Nov 5, 2022
23 Oct 18, 2022
35 Sep 22, 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
d130381 1.5.5ae70b41 security: fix denial-of-service bug in compilerb92ffd5 cargo: use SPDX license formatf6e52da syntax: fix 'unused' warnings5197f21 fuzz: do not use inherits in Cargo.toml3662851 doc: fix typo63ee669 syntax/doc: fix 'their' typod6bc7a4 readme: remove broken badgebd74660 fuzz: try to fix build issuebd0a142 readme: fix badgesDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.
You can trigger Dependabot actions by commenting on this PR:
@dependabot rebase will rebase this PR@dependabot recreate will recreate this PR, overwriting any edits that have been made to it@dependabot merge will merge this PR after your CI passes on it@dependabot squash and merge will squash and merge this PR after your CI passes on it@dependabot cancel merge will cancel a previously requested merge and block automerging@dependabot reopen will reopen this PR if it is closed@dependabot close will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually@dependabot ignore this major version will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)@dependabot ignore this minor version will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)@dependabot ignore this dependency will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)@dependabot use these labels will set the current labels as the default for future PRs for this repo and language@dependabot use these reviewers will set the current reviewers as the default for future PRs for this repo and language@dependabot use these assignees will set the current assignees as the default for future PRs for this repo and language@dependabot use this milestone will set the current milestone as the default for future PRs for this repo and languageYou can disable automated security fix PRs for this repo from the Security Alerts page.
trunc_filenames ssokolow@monolith ~ % trunc_filenames --help trunc_filenames 0.1.0 Rename files and directories to fit length limits. WARNING: Will n
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
Say No To Poetry Did you grow up using just pip or conda? Are you being forced to use poetry everywhere at work? They try to convince you poetry just
semver-explain Convert SemVer requirements to their most-obvious equivalents. semver-explain is a CLI tool to explain Semantic Versioning requirements
trunc_filenames ssokolow@monolith ~ % trunc_filenames --help trunc_filenames 0.1.0 Rename files and directories to fit length limits. WARNING: Will n
A model checker for implementing distributed systems.
eztd is meant to close the ergonomics gap between Rust and Python.
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.
2 Nov 20, 2022
15 Oct 5, 2022
7 Nov 6, 2022
27 Oct 29, 2022
1.3k Dec 15, 2022
9 Aug 14, 2022
9 Nov 9, 2022
11 Aug 9, 2022
2 Dec 27, 2022