Alternatives and similar repositories for TemplateQueens

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

• proost-assistant / proost
  A small proof assistant written in Rust. Read-only mirror of https://gitlab.crans.org/loutr/proost.
  ☆29Updated 11 months ago
• 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 4 years ago
• lifthrasiir / esotope-bfc
  Esotope Brainfuck Compiler (2009)
  ☆28Updated 9 years ago
• cronokirby / ludus
  A pluggable NES emulator
  ☆31Updated 6 years ago
• digama0 / frat
  DRAT proof processor
  ☆14Updated 2 years ago
• meithecatte / rustc-sat
  Makes rustc's exhaustiveness checker solve SAT problems
  ☆16Updated 4 years ago
• corewa-rs / corewars
  A Rust implementation of Core Wars
  ☆19Updated last month
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆53Updated 4 months ago
• Rust-GPU / spirt
  SPIR-🇹: shader-focused IR to target, transform and translate from 🦀
  ☆16Updated this week
• argumentcomputer / Wasm.lean
  A WebAssembly implementation in Lean4
  ☆34Updated last year
• cratelyn / j
  💐 j is a subset of J, and an essay.
  ☆43Updated last year
• Snektron / Makefuck
  Don't ask me how this works
  ☆12Updated 4 years ago
• sheredom / yair
  🦜 yair - a high-level compiler IR entirely written in Rust
  ☆38Updated 3 years ago
• tkwa / Sledgehammer
  A code-golf language written in Mathematica
  ☆20Updated 5 years ago
• penumbra-zone / ed25519-consensus
  Ed25519 suitable for use in consensus-critical contexts.
  ☆48Updated 11 months ago
• nyaasen / absolute-audacity-of-dis-bitch
  Audio Editor
  ☆14Updated 4 years ago
• moonad / Formality-tmp
  ☆9Updated 4 years ago
• kvverti / rusty-lavender
  The third iteration of the Lavender programming language, implemented in Rust.
  ☆13Updated 4 years ago
• somebody1234 / cliscord
  simple command-line tool to send text and files to discord
  ☆18Updated 2 years ago
• sorear / smetamath-rs
  sorear's Metamath system engine - version 3 Rust
  ☆24Updated 2 years ago
• NethermindEth / Yul-Specification
  A formal specification of the Yul IR semantics in the Lean proof assistant.
  ☆14Updated 3 weeks ago
• oeb25 / smtlib-rs
  A high-level API for interacting with SMT solvers.
  ☆28Updated 2 months ago
• timkuijsten / BoundedBikeshed
  Focus on the comments you find most interesting.
  ☆19Updated last year
• snightshade / inline-lua
  An absolutely horrible idea
  ☆60Updated 3 years ago
• cairdcoinheringaahing / AddPlusPlus
  JHT rating: 28-765
  ☆13Updated 6 years ago
• nabijaczleweli / wustc
  Exampwe of ewwonyenyonyuns code:
  ☆15Updated 5 years ago
• kspalaiologos / blc-mb
  Binary Lambda Calculus evaluation engine written in Malbolge.
  ☆17Updated 3 years ago
• AlephAlpha / Nekomata
  An experimental non-deterministic concatenative golfing language
  ☆24Updated 3 months ago
• jameysharp / optir
  Compiler optimizer for arbitrary control flow based on equality saturation
  ☆102Updated 3 years ago