sksat / setup-rye
GitHub Action for setup mitsuhiko/rye
☆29Updated 2 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for setup-rye
- Execute command in local client from remote host☆23Updated last year
- Composable, strict CLI framework with static analysis for Rust☆18Updated 2 years ago
- macros for querying and extracting value from structured data by JavaScript-like syntax☆34Updated this week
- optpy is a transpiler to generate a Rust file from a Python file☆27Updated last year
- SATySFi commands and DSL for displaying derivation trees with maintainable code☆11Updated 3 years ago
- GPGPU version of 数え上げお姉さん(https://github.com/primenumber/kazoeage-oneesan)☆11Updated 2 years ago
- swiss army knife for everything you do not want to do☆83Updated 2 years ago
- A bibliography framework for SATySFi.☆23Updated last year
- Flexible deriving macro for new-type pattern.☆33Updated this week
- 数え上げお姉さん https://youtu.be/Q4gTV4r0zRs の愚直実装☆17Updated 2 years ago
- ☆45Updated last year
- The manuscript for The SATySFibook (1st edition for the Web)☆35Updated 2 months ago
- A SATySFi class file for writing CS master theses at The University of Tokyo☆29Updated 6 years ago
- Vim syntax plugin for SATySFi typesetting system☆34Updated 3 years ago
- SATySFi Support for VSCode☆18Updated 4 months ago
- ☆11Updated 6 months ago
- A programming language written in an "easy to understand" way☆35Updated 3 weeks ago
- Text-based to-do management CLI & language server☆16Updated last year
- A SATySFi package containing A-to-Z mathematical commands.☆15Updated 2 years ago
- .gitignore generator written in Go☆13Updated 2 years ago
- ☆45Updated 2 years ago
- Formatter for SATySFi☆17Updated 8 months ago
- This is web browser for studying.☆13Updated 3 years ago
- 法律・判例関係のデータセット☆32Updated 5 months ago
- SATySFi parser writtern in Rust.☆14Updated 2 years ago
- An experimental TypeScript parser combinator library. Powered by template literal types(TS 4.1+).☆15Updated 3 years ago
- [WIP] Twitter Client Library written in Rust☆49Updated 3 years ago
- Checker for translated mdbook☆16Updated last year
- ☆16Updated 3 weeks ago