Alternatives and similar repositories for TemplateQueens:

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

• sorear / smetamath-rs
  sorear's Metamath system engine - version 3 Rust
  ☆24Updated last year
• eleanor-em / ccc
  A compiler for the esoteric language ℂ.
  ☆28Updated 3 years ago
• LunaTheFoxgirl / m1racle-mutex
  Don't tell me what not to do - Mutex built on an M1 security exploit
  ☆24Updated 3 years ago
• argumentcomputer / Wasm.lean
  A WebAssembly implementation in Lean4
  ☆33Updated last year
• moonad / Formality-tmp
  ☆9Updated 4 years ago
• lifthrasiir / esotope-bfc
  Esotope Brainfuck Compiler (2009)
  ☆28Updated 9 years ago
• meithecatte / rustc-sat
  Makes rustc's exhaustiveness checker solve SAT problems
  ☆15Updated 3 years ago
• pythonesque / dependent_traits
  A dependent type system built entirely in Rust's trait system (WIP).
  ☆25Updated 6 years ago
• AeneasVerif / eurydice
  Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.
  ☆33Updated last week
• serprex / Rue
  lang Thue + Regex
  ☆14Updated 2 years ago
• kvverti / rusty-lavender
  The third iteration of the Lavender programming language, implemented in Rust.
  ☆13Updated 3 years ago
• lf- / pwintln
  pwintln uwu
  ☆37Updated 3 years ago
• primo-ppcg / BF-Crunch
  ☆11Updated 2 years ago
• nabijaczleweli / wustc
  Exampwe of ewwonyenyonyuns code:
  ☆15Updated 5 years ago
• xerz-one / os-concepts
  Concept proposals for a better operating system
  ☆10Updated 8 years ago
• cronokirby / ludus
  A pluggable NES emulator
  ☆31Updated 5 years ago
• cratelyn / j
  💐 j is a subset of J, and an essay.
  ☆36Updated last year
• TartanLlama / dwarbf
  A Brainfuck interpreter embedded inside DWARF debug information
  ☆37Updated 9 months ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆30Updated 3 weeks ago
• fgdorais / lean4-parser
  Parser Combinator Library for Lean 4
  ☆46Updated 2 weeks ago
• hydrolarus / cytosol
  A programming language somewhat resembling cellular processes.
  ☆34Updated 2 years ago
• Centril / refl
  Provides a Refl encoding in Rust
  ☆69Updated last year
• kspalaiologos / blc-mb
  Binary Lambda Calculus evaluation engine written in Malbolge.
  ☆17Updated 2 years ago
• lestrozi / pipevm
  A virtual machine controlled via stdin/stdout
  ☆30Updated 2 years ago
• remexre / evaltrees
  A simple term-rewriting interpreter that displays intermediate expressions.
  ☆14Updated 2 years ago
• rljacobson / lifetimes
  A lifetime inference algorithm for the Rust programming language written in Soufflé.
  ☆24Updated 5 years ago
• proost-assistant / proost
  A small proof assistant written in Rust. Read-only mirror of https://gitlab.crans.org/loutr/proost.
  ☆28Updated 6 months ago
• Snektron / Makefuck
  Don't ask me how this works
  ☆12Updated 4 years ago
• contificate / lr
  An interactive tool for experimenting with LR(1) grammars
  ☆14Updated 3 years ago
• opencompl / C-parsing-for-Lean4
  A parser for ANSI C, in Lean4.
  ☆20Updated last year