sksat / setup-ryeLinks
GitHub Action for setup mitsuhiko/rye
☆29Updated 2 months ago
Alternatives and similar repositories for setup-rye
Users that are interested in setup-rye are comparing it to the libraries listed below
Sorting:
- Composable, strict CLI framework with static analysis for Rust☆18Updated 3 years ago
- macros for querying and extracting value from structured data by JavaScript-like syntax☆34Updated 7 months ago
- SATySFi commands and DSL for displaying derivation trees with maintainable code☆11Updated 4 years ago
- Checker for translated mdbook☆16Updated last year
- ☆21Updated 5 months ago
- Execute command in local client from remote host☆23Updated last week
- optpy is a transpiler to generate a Rust file from a Python file☆25Updated 2 years ago
- swiss army knife for everything you do not want to do☆84Updated 3 years ago
- Vim syntax plugin for SATySFi typesetting system☆34Updated 3 years ago
- ☆45Updated 2 years ago
- ☆21Updated 5 months ago
- A simple whiteboard.☆11Updated 3 years ago
- GPGPU version of 数え上げお姉さん(https://github.com/primenumber/kazoeage-oneesan)☆11Updated 3 years ago
- An experimental TypeScript parser combinator library. Powered by template literal types(TS 4.1+).☆15Updated 4 years ago
- 数え上げお姉さん https://youtu.be/Q4gTV4r0zRs の愚直実装☆17Updated 3 years ago
- Fast match expression optimized for string comparison☆38Updated last year
- A bibliography framework for SATySFi.☆23Updated 2 years ago
- A programming language written in an "easy to understand" way☆35Updated last month
- a crate to swap values between possibly-overlapping references☆23Updated 2 years ago
- A light weight database seeding helper for Rust☆40Updated 10 months ago
- A command and control system for C2A-based satellites☆14Updated 2 weeks ago
- 小さい計算体系をシンプルに定義できるような言語をつくりたい☆12Updated 4 months ago
- lapisla is a *battery-pluggable* theorem prover and ecosystem designed for everyone. Greetings! 👋☆47Updated 2 months ago
- 法律・判例関係のデータセット☆38Updated 5 months ago
- ☆45Updated 2 years ago
- Flexible deriving macro for new-type pattern.☆52Updated last week
- ☆42Updated 6 years ago
- [wip] Lightweight Automatic Differentiation & DeepLearning Framework implemented in pure Julia.☆31Updated last year
- A SATySFi package containing A-to-Z mathematical commands.☆15Updated 2 years ago
- TypeScript implementation of ZenML parser and XML manipulation utilities☆10Updated 2 years ago