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:
- Optimising Brainfuck compiler: Run your beloved Brainfuck code, but faster.☆69Updated 6 years ago
- Prototype extension of the Rust type system towards checking units-of-measure☆116Updated 5 years ago
- You've met with a terrible fate, haven't you?☆62Updated 6 years ago
- it goes zoom zoom☆46Updated this week
- An experimental implementation of Avatar Logic with a Prolog-like syntax☆71Updated last year
- A strongly & statically typed systems level language focused on ease of use, portability and speed, built for the modern age.☆53Updated 4 years ago
- pwintln uwu☆39Updated 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…☆102Updated last year
- Perverse implementations of safe Rust traits☆22Updated this week
- Lumina is an eager-by-default natively compiled functional programming language with the core goals of readibility, practicality, compile…☆113Updated 4 months ago
- a pragmatic point-free theorem prover assistant☆143Updated 3 months ago
- Compact sets in rust☆60Updated 9 months ago
- A whitespace-sensitive syntax for rust☆72Updated 8 years ago
- yk packages☆37Updated last week
- A proc-macro that checks if blockers (issues) have been resolved.☆36Updated 5 years ago
- Rust testing framework for compilers and VMs☆51Updated 10 months ago
- A clean, efficient parser combinator☆124Updated 3 years ago
- A convenient block copy program.☆29Updated 6 years ago
- Forth for Rust's trait system☆230Updated 5 years ago
- The IntercalScript programming language☆139Updated 5 years ago
- ☆107Updated 4 years ago
- Tools to avoid unnecessary usage of safe code☆37Updated 5 years ago
- Calm I/O operations for Rust☆76Updated 4 years ago
- Optimized-Matching-Generalized Wobbly Transformation Format — 8-bit☆39Updated 7 years ago
- Demonstration crate for the tango literate programming tool.☆36Updated 3 years ago
- Run a command and highlight its stderr, preserving the order of stdout and stderr☆49Updated 2 years ago
- ☆60Updated 4 years ago
- Implementation of game of life and a bunch of primitive recursive functions at the type level in rust☆40Updated 7 years ago
- A functional programming language☆48Updated 5 years ago
- ☆17Updated 5 years ago