Alternatives and similar repositories for TemplateQueens

Users that are interested in TemplateQueens are comparing it to the libraries listed below

• LunaTheFoxgirl / m1racle-mutex
  Don't tell me what not to do - Mutex built on an M1 security exploit
  ☆24Updated 4 years ago
• cratelyn / j
  💐 j is a subset of J, and an essay.
  ☆52Updated 6 months ago
• timkuijsten / BoundedBikeshed
  Focus on the comments you find most interesting.
  ☆21Updated last year
• Snektron / Makefuck
  Don't ask me how this works
  ☆14Updated 5 years ago
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆61Updated 10 months ago
• corewa-rs / corewars
  A Rust implementation of Core Wars
  ☆19Updated last month
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆42Updated 8 months ago
• nabijaczleweli / wustc
  Exampwe of ewwonyenyonyuns code:
  ☆15Updated 6 years ago
• draperlaboratory / ELFSage
  A toy ELF parser/validator
  ☆15Updated last year
• sorear / smetamath-rs
  sorear's Metamath system engine - version 3 Rust
  ☆25Updated 2 years ago
• meithecatte / rustc-sat
  Makes rustc's exhaustiveness checker solve SAT problems
  ☆16Updated 4 years ago
• kvverti / rusty-lavender
  The third iteration of the Lavender programming language, implemented in Rust.
  ☆13Updated 4 years ago
• secure-foundations / vWasm
  A formally-verified provably-safe sandboxing Wasm-to-native compiler
  ☆28Updated 3 years ago
• eleanor-em / ccc
  A compiler for the esoteric language ℂ.
  ☆28Updated 4 years ago
• pythonesque / dependent_traits
  A dependent type system built entirely in Rust's trait system (WIP).
  ☆25Updated 7 years ago
• ykjit / yk
  yk packages
  ☆39Updated this week
• mxxo / plutonium
  Tools to avoid unnecessary usage of safe code
  ☆37Updated 5 years ago
• 3c1u / maysick
  A Programming language of directories. Just for fun.
  ☆15Updated 2 years ago
• iximeow / zvm
  it goes zoom zoom
  ☆47Updated last month
• Centril / refl
  Provides a Refl encoding in Rust
  ☆68Updated 2 years ago
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆117Updated 3 years ago
• snightshade / inline-lua
  An absolutely horrible idea
  ☆59Updated 3 years ago
• zesterer / funkicrab
  Optimising Brainfuck compiler: Run your beloved Brainfuck code, but faster.
  ☆70Updated 6 years ago
• jawhitti / INTERCAL
  Common Runtime Intercal (Next-Generation Engine)
  ☆33Updated 8 years ago
• Erk- / RRust
  RRust, a reversible Rust DSL
  ☆43Updated last year
• softdevteam / lang_tester
  Rust testing framework for compilers and VMs
  ☆51Updated 11 months ago
• sdleffler / type-operators-rs
  A macro for defining type operators in Rust.
  ☆65Updated 8 years ago
• maddymakesgames / celeste_rs
  Work with Celeste files in Rust!
  ☆15Updated 6 months ago
• lf- / pwintln
  pwintln uwu
  ☆39Updated 4 years ago
• lifthrasiir / esotope-bfc
  Esotope Brainfuck Compiler (2009)
  ☆31Updated 10 years ago