Announcing: MiniRust

This page summarizes the projects mentioned and recommended in the original post on

Our great sponsors
  • Scout APM - Less time debugging, more time building
  • SonarLint - Clean code begins in your IDE with SonarLint
  • - Download’s Tech Salary Report
  • a-mir-formality

    a PLT redex model of MIR and its type system

    That's happening separately, in the "mir-formality" project:

    The two projects are related, but have different objectives (mir-formality includes traits and borrow checking, while MiniRust focuses on operational semantics).

  • githut

    Github Language Statistics

    I would consider it perfectly normal to discover something in my company or on Github was written in Rust. It's the 12th most popular language on Github by PRs according to this: (Shell and Nix don't count).

    It's only 3 times less popular than C. As I said, very weird definition of mainstream.

  • Scout APM

    Less time debugging, more time building. Scout APM allows you to find and fix performance issues with no hassle. Now with error monitoring and external services monitoring, Scout is a developer's best friend when it comes to application development.

  • zig

    General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

    Take as an example. Several people from the Rust and Haskell community slacked off on twitter about how awful of a language design this is. However, when you think about what the language actually compiles to it makes perfect sense, and is pretty straightforward.

    Rust has the goal of putting as much smartness between what you type and what gets produces, which is a perfectly fine goal, but without a specification for the input semantics it's a pretty wobbly thing, especially for a systems programming language. A lot of bit packing code is simply not writable in rust today without immediately invoking UB, that works for now but might break with every bugfix release.

  • datafrog

    A lightweight Datalog engine in Rust

    C++ is arguably the most complex programming language ever. There is not much to be gained by comparing against the supremum.

    Take a look at the languages that rust was influenced by ( those aren't languages with straightforward compilation semantics.

    There is a reason why rust has a datalog engine build into the compiler ( Which is imho totally rad and awesome, but really hard to fully form a mental model of without a spec.

  • miniPerl

    a collection of Turing-complete subsets of Perl

    Using "mini" to mean a subset of the language rather than a version for small systems has precedent. For example in the Perl community, miniperl is a subset of Perl. It's mostly used to bootstrap builds of the full language, but in theory can be used separately as a restricted programming language. It's also the name of a module, ExtUtils::Miniperl, for Perl ( that builds miniperlmain.c and perlmain.c files to bootstrap the compilation of the language system. This is not to be confused with the Raku project on Github called "miniPerl" ( which compiles subsets of Perl via the Lambda calculus to JavaScript output.

    I'd personally pretty much always expect "mini" or "r" (as in "rperl", a restricted subset of Perl with C++ connections) versions of a language to be restricted subsets for some purpose (rperl's is to give away flexibility for performance while maintaining a good portion of the original language).

    I've seen an "e" or "emb" prefix or a "small", "tiny", "micro" or "µ" (or "u") prefix to mean a small toolchain version several places, like SmallC or uclibc or Mikroe's mikroC. It wouldn't surprise me to see a "nano" version of a language tool either. Sometimes these are subsets as well, but to fit the size constraints of the target rather than for constraining the input for its own sake.

  • minirust

    A precise specification for "Rust lite / MIR plus"

    I compare MiniRust and Ferrocene at :) TL;DR they re quite different in style, precision, and scope.

  • unsafe-code-guidelines

    Home for the Unsafe Code Guidelines working group.

    Now that const generics have landed at least some parts of the code should be easier to write.

    I'll throw you folks an issue over the fence, should I run into the same issue again, pinky swear ;)

    Whats the current state of the art for unsafe code? The guidelines?(

    I found the Rustonomicon, despite it's mythological status, to be quite thin. ^^'

  • SonarLint

    Clean code begins in your IDE with SonarLint. Up your coding game and discover issues early. SonarLint is a free plugin that helps you find & fix bugs and security issues from the moment you start writing code. Install from your favorite IDE marketplace today.

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts