RocketRace / badsvLinks
The official BaDSV specification and CLI. Ascend from your puny DSV files!
☆51Updated last year
Alternatives and similar repositories for badsv
Users that are interested in badsv are comparing it to the libraries listed below
Sorting:
- Perverse implementations of safe Rust traits☆22Updated 10 months ago
- Prototype extension of the Rust type system towards checking units-of-measure☆115Updated 5 years ago
- it goes zoom zoom☆46Updated 2 years ago
- A best-of-breed language with a holistic approach to moving the needle☆311Updated 4 years ago
- Optimising Brainfuck compiler: Run your beloved Brainfuck code, but faster.☆69Updated 6 years ago
- You've met with a terrible fate, haven't you?☆62Updated 6 years ago
- Compact sets in rust☆57Updated 5 months ago
- Lumina is an eager-by-default natively compiled functional programming language with the core goals of readibility, practicality, compile…☆102Updated last week
- The IntercalScript programming language☆138Updated 4 years ago
- A whitespace-sensitive syntax for rust☆72Updated 7 years ago
- discord bot for uwuifying text☆34Updated 4 years ago
- A functional programming language☆48Updated 4 years ago
- yk packages☆33Updated last week
- A proc-macro that checks if blockers (issues) have been resolved.☆35Updated 4 years ago
- `rust-reduce` will try to make the source file smaller by interpreting it as valid Rust code and intelligently removing parts of the code…☆101Updated last year
- Rust testing framework for compilers and VMs☆51Updated 5 months ago
- ☆16Updated 4 years ago
- ☆104Updated 4 years ago
- Working prototype☆16Updated 3 years ago
- Tools to avoid unnecessary usage of safe code☆37Updated 4 years ago
- Calm I/O operations for Rust☆76Updated 4 years ago
- A tracing aware eyre variant that captures SpanTraces and Backtraces and supports rich context for errors with warnings, suggestions, and…☆28Updated 2 years ago
- Use format strings to create strongly-typed data pack/unpack interfaces☆62Updated 2 years ago
- Gotchas and warts in Rust Lang☆75Updated 2 years ago
- Run a command and highlight its stderr, preserving the order of stdout and stderr☆49Updated 2 years ago
- A strongly & statically typed systems level language focused on ease of use, portability and speed, built for the modern age.☆53Updated 4 years ago
- Relative TimeStamps for Stuff☆54Updated 3 years ago
- ☆29Updated this week
- a pragmatic point-free theorem prover assistant☆141Updated last year
- Demonstration crate for the tango literate programming tool.☆36Updated 3 years ago