Alternatives and similar repositories for TemplateQueens

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

• kvverti / rusty-lavender
  The third iteration of the Lavender programming language, implemented in Rust.
  ☆13Updated 4 years ago
• kspalaiologos / blc-mb
  Binary Lambda Calculus evaluation engine written in Malbolge.
  ☆17Updated 3 years ago
• cratelyn / j
  💐 j is a subset of J, and an essay.
  ☆41Updated last year
• LunaTheFoxgirl / m1racle-mutex
  Don't tell me what not to do - Mutex built on an M1 security exploit
  ☆24Updated 4 years ago
• eleanor-em / ccc
  A compiler for the esoteric language ℂ.
  ☆28Updated 3 years ago
• Snektron / Makefuck
  Don't ask me how this works
  ☆12Updated 4 years ago
• cairdcoinheringaahing / AddPlusPlus
  JHT rating: 28-765
  ☆13Updated 6 years ago
• serprex / Rue
  lang Thue + Regex
  ☆14Updated 3 years ago
• sorear / smetamath-rs
  sorear's Metamath system engine - version 3 Rust
  ☆24Updated 2 years ago
• lifthrasiir / esotope-bfc
  Esotope Brainfuck Compiler (2009)
  ☆28Updated 9 years ago
• AlephAlpha / Nekomata
  An experimental non-deterministic concatenative golfing language
  ☆24Updated 2 months ago
• nabijaczleweli / wustc
  Exampwe of ewwonyenyonyuns code:
  ☆15Updated 5 years ago
• proost-assistant / proost
  A small proof assistant written in Rust. Read-only mirror of https://gitlab.crans.org/loutr/proost.
  ☆29Updated 9 months ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆33Updated last month
• hydrolarus / cytosol
  A programming language somewhat resembling cellular processes.
  ☆34Updated 3 years ago
• 602p / orth
  Orth bootstrap compiler, Orth self-hosting compiler, and OS written in Orth
  ☆10Updated 6 years ago
• digama0 / frat
  DRAT proof processor
  ☆14Updated 2 years ago
• adam-mcdaniel / smpl
  A superset of brainfuck with dynamic memory management.
  ☆28Updated 4 years ago
• meithecatte / rustc-sat
  Makes rustc's exhaustiveness checker solve SAT problems
  ☆16Updated 3 years ago
• ykjit / yk
  yk packages
  ☆32Updated this week
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆53Updated 3 months ago
• sheredom / yair
  🦜 yair - a high-level compiler IR entirely written in Rust
  ☆38Updated 3 years ago
• lf- / pwintln
  pwintln uwu
  ☆37Updated 4 years ago
• argumentcomputer / Wasm.lean
  A WebAssembly implementation in Lean4
  ☆34Updated last year
• phate / jlm
  ☆63Updated this week
• somebody1234 / cliscord
  simple command-line tool to send text and files to discord
  ☆17Updated last year
• Rerumu / Telepathy
  BrainFuck translation tool with RVSDG optimizations
  ☆13Updated last year
• corewa-rs / corewars
  A Rust implementation of Core Wars
  ☆19Updated last week
• kspalaiologos / lc-apl
  Journey to the Center of the Lambda Calculus
  ☆14Updated last year
• nukeop / is-odd
  Returns true if the given number is odd.
  ☆30Updated 5 months ago