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:
- Prototype extension of the Rust type system towards checking units-of-measure☆115Updated 5 years ago
- Optimising Brainfuck compiler: Run your beloved Brainfuck code, but faster.☆69Updated 6 years ago
- yk packages☆33Updated last week
- pwintln uwu☆38Updated 4 years ago
- Perverse implementations of safe Rust traits☆22Updated 10 months 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
- The IntercalScript programming language☆138Updated 5 years ago
- The Ergex Regular Expression Library☆123Updated 3 years ago
- An experimental implementation of Avatar Logic with a Prolog-like syntax☆68Updated last year
- You've met with a terrible fate, haven't you?☆62Updated 6 years ago
- it goes zoom zoom☆46Updated 2 years ago
- A Rust allocator which makes sound when active, like a Geiger counter.☆120Updated 5 months ago
- Historic Rust code browsing☆35Updated 4 years ago
- ☆29Updated 2 weeks ago
- A whitespace-sensitive syntax for rust☆72Updated 7 years ago
- A simple SSH tarpit inspired by endlessh☆131Updated last year
- A functional programming language☆48Updated 5 years ago
- A collection of small notes that aren't appropriate for my blog.☆32Updated 3 years ago
- A proc-macro that checks if blockers (issues) have been resolved.☆35Updated 4 years ago
- Demonstration crate for the tango literate programming tool.☆36Updated 3 years ago
- Gotchas and warts in Rust Lang☆75Updated 2 years ago
- A best-of-breed language with a holistic approach to moving the needle☆312Updated 4 years ago
- A library for execution of Semantic Brain, based on Urban Müller's famous but unprintable language.☆25Updated 5 years ago
- ☆104Updated 4 years ago
- Working prototype☆16Updated 3 years ago
- An esoteric programming language with an unusual compiler backend☆331Updated 5 years ago
- Tools to avoid unnecessary usage of safe code☆37Updated 5 years ago
- Forth for Rust's trait system☆230Updated 5 years ago
- a pragmatic point-free theorem prover assistant☆141Updated last year
- Base256 encoding with emoji☆78Updated 6 years ago