Alternatives and similar repositories for 2018-hashcode-score

Users that are interested in 2018-hashcode-score are comparing it to the libraries listed below

• model-checking / kani-github-action
  This repository provides a GitHub Action for running the Kani Rust Verifier in CI.
  ☆11Updated 8 months ago
• qryxip / cargo-equip
  A Cargo subcommand to bundle your code into one `.rs` file for competitive programming
  ☆96Updated last year
• victe / rust-latex-doc-minimal-example
  ☆38Updated 5 years ago
• RuSys / Verugent
  Verilog generation tool written in Rust
  ☆62Updated 2 years ago
• vandenheuvel / relp
  A Linear Program solver written in Rust.
  ☆20Updated 2 weeks ago
• ctylim / rhuffle
  Line shuffler for huge text file which does not fit in memory
  ☆13Updated 3 years ago
• akiradeveloper / rust-comp-snippets
  Library for competitive programming in Rust.
  ☆16Updated 4 years ago
• koba-e964 / contest
  programming contests, problems, et cetera
  ☆25Updated 3 weeks ago
• denki / listings-rust
  A Rust language and style specification for the LaTeX-package listings
  ☆187Updated 2 years ago
• Techie-Pi / doxygen-rs
  Transform Doxygen to Rustdoc
  ☆22Updated last year
• rust-math / intel-mkl-src
  Redistribute Intel MKL as a crate
  ☆92Updated last year
• jsinger67 / parol
  LL(k) and LALR(1) parser generator for Rust
  ☆234Updated last week
• termoshtt / einsum-derive
  Proc-macro based einsum implementation for rust-ndarray
  ☆35Updated last year
• rust-math / sfmt
  Rust implementation of SIMD-oriented Fast Mersenne Twister (SFMT) using stable SIMD
  ☆33Updated 4 years ago
• togatoga / screwsat
  A simple CDCL(Conflict-Driven-Clause-Learning) SAT solver in Rust.
  ☆38Updated last year
• tanakh / memoise
  Simple memoization library for rust
  ☆29Updated 5 years ago
• ethanuppal / marlin
  🦀 No-nonsense hardware testing/simulation in Rust 🛠️ | Verilog, Spade, Veryl
  ☆83Updated last month
• togatoga / togasat
  A Header-Only CDCL SAT Solver for Programming Contest
  ☆73Updated last week
• ztlpn / minilp
  A pure Rust linear programming solver
  ☆91Updated 5 years ago
• statiolake / proconio-rs
  ☆140Updated 4 months ago
• rust-lang / spec
  The Rust specification
  ☆134Updated last year
• kenkoooo / optpy
  optpy is a transpiler to generate a Rust file from a Python file
  ☆25Updated 3 years ago
• defermelowie / bare-metal-rust-on-riscv
  A Simple template for bare metal Rust on RISC-V
  ☆20Updated 2 years ago
• tanakh / competitive-rs
  Competitive programming library for Rust
  ☆56Updated 3 years ago
• kenkoooo / cargo-concat
  ☆12Updated 5 years ago
• termoshtt / katexit
  Insert KaTeX autorender script into rustdoc
  ☆23Updated 8 months ago
• estie-inc / cder
  A light weight database seeding helper for Rust
  ☆43Updated last year
• kenba / opencl3
  A Rust implementation of the Khronos OpenCL 3.0 API.
  ☆131Updated 4 months ago
• anharu2394 / rust-llvm-calculator
  The calculator using Inkwell and Rust Peg
  ☆14Updated 6 years ago
• hatoo / competitive-rust-snippets
  My Rust snippets for competitive programming
  ☆80Updated 2 years ago