Alternatives and similar repositories for formula-one:

Users that are interested in formula-one are comparing it to the libraries listed below

• dtolnay / lalrproc
  Proof of concept of procedural macro input parsed by LALRPOP
  ☆52Updated 2 years ago
• edmundsmith / type-plugs
  Emulating Higher-Kinded Types in Rust via Plug/Unplug. Also, Monads.
  ☆30Updated 5 years ago
• nox / inert
  Inert lets you use non-Sync values in Sync context
  ☆16Updated 5 years ago
• martypapa / debug-tree
  Visualise recursive functions and tree structures.
  ☆29Updated 3 years ago
• fmease / tylift
  Lift enum variants to the type-level.
  ☆33Updated 4 years ago
• Pebaz / LambdaCore
  An interpreted language written in Rust inspired by the Lisp family of languages.
  ☆61Updated 2 years ago
• huonw / ieee754
  Low-level manipulations of IEEE754 floating-point numbers.
  ☆28Updated last year
• maybevoid / mononym
  Type-level named values with partial dependent type support in Rust
  ☆57Updated 3 years ago
• llogiq / optional
  A small crate to provide space-efficient Option<_> replacements
  ☆37Updated last month
• rust-bakery / nom-peg
  PEG parser generator built on top of nom
  ☆70Updated 5 years ago
• iwillspeak / ullage
  A statically-typed compiled language defined by a simple grammar
  ☆24Updated 2 years ago
• paholg / peano
  The peano numbers implemented in Rust's type system.
  ☆24Updated 8 years ago
• CAD97 / pegcel
  A syn targetting PEG parser generator
  ☆20Updated last year
• lifthrasiir / hexf
  Hexadecimal float support for Rust
  ☆38Updated this week
• samsieber / tco
  ☆17Updated 4 years ago
• diwic / splitmut-rs
  Rust: Get multiple mutable references to the same collection
  ☆13Updated 7 years ago
• mpdn / disjoint-borrow
  Disjoint borrow of slices in Rust
  ☆11Updated 5 years ago
• nikomatsakis / dyner
  Experimenting with ergonomic dyn types
  ☆29Updated 3 years ago
• dalance / nom-greedyerror
  Custom error type of nom to improve accuracy of error position
  ☆11Updated 2 years ago
• kennytm / extprim
  Extra primitive types (u128, i128) for Rust.
  ☆25Updated 3 years ago
• richardanaya / no_error
  A simple error library for no_std + no_alloc Rust
  ☆18Updated 5 years ago
• rust-dev-tools / rls-data
  Data structures used by the RLS and Rust compiler
  ☆10Updated 6 years ago
• gifnksm / emscripten-sys
  Emscripten API bindings for Rust
  ☆18Updated 5 years ago
• rust-secure-code / mem-markers
  Rust library for marker traits about types layout in memory
  ☆22Updated 4 years ago
• DanielKeep / strcursor
  ☆20Updated 8 years ago
• theotherphil / dip
  A toy incremental computation framework
  ☆15Updated 4 years ago
• CryZe / stdweb-io
  Tokio / Hyper like IO for the Browser based on the stdweb, futures and http crates.
  ☆22Updated 7 years ago
• ninja-rs / ninja-rs
  Ninja is a small build system with a focus on speed. Rust language port.
  ☆16Updated 7 years ago
• contain-rs / interval-heap
  A double-ended priority queue implemented with an interval heap.
  ☆18Updated 7 years ago
• tosc-rs / mnemos-alloc
  An async allocator with Fun™️ unsafe Rust
  ☆18Updated last year