Alternatives and similar repositories for TemplatedPL:

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

• w41ter / LL-Script
  Simple script
  ☆42Updated 7 years ago
• overlogged / steak
  A programming language which provides generalized algebraic data types, pattern matching and lazy evaluation based on C++17.
  ☆30Updated 5 years ago
• IFeelBloated / Type-System-Zoo
  ☆117Updated 2 years ago
• ice1000 / CompilerWorks
  编译原理相关的工作岗位收集
  ☆87Updated 6 years ago
• MarisaKirisame / first_order_logic_prover
  ☆58Updated 7 years ago
• OpenPAL / TypeAndProof
  https://openpal.github.io/TypeAndProof/
  ☆99Updated 7 years ago
• lhmouse / intrusive_ptr
  Proposal for std::intrusive_ptr
  ☆39Updated 5 years ago
• mutouyun / cpp-pattern-matching
  ML-style pattern matching in C++.
  ☆29Updated 6 years ago
• thautwarm / RBNF
  This project's lifetime has ended. The successor is https://github.com/thautwarm/frontend-for-free which is WIP. You can check lark-parse…
  ☆40Updated 6 years ago
• covariant-institute / dragon-vm
  The Dragon Virtual Machine.
  ☆10Updated 7 years ago
• PragmaTwice / ChthollyLang
  A simple implementation of Yet another script language Chtholly
  ☆20Updated 5 years ago
• MarisaKirisame / lambda_calculus
  ☆14Updated 9 years ago
• FrankHB / YSLib
  The YSLib Project (main hg-git mirror) (NOTE: The README document in the repository is missing by design. Please go to the main repositor…
  ☆96Updated last year
• lhmouse / MCF
  Meta-purpose C++ Foundation
  ☆189Updated 6 years ago
• MarisaKirisame / reflection
  ☆18Updated 8 years ago
• zju-lambda / slides
  slides of zju-lambda
  ☆14Updated 6 years ago
• Z-Shang / LICPP
  Lisp Flavoured C++
  ☆29Updated 3 years ago
• Light-of-Hers / CCTV
  C++ Compile-Time eValuator for scheme
  ☆21Updated 4 years ago
• SuperSodaSea / Corecat
  Corecat: Core library
  ☆21Updated 6 years ago
• bajdcc / clibparser
  General LR Parser(CMake,C++)
  ☆63Updated 5 years ago
• keyz / p423-compiler
  A Scheme to x86-64 compiler in Scheme
  ☆78Updated 9 years ago
• yuanzhubi / cort_proto
  A C++03 implement stackless coroutine. But also support stackful coroutine, tcp rpc operation, static hook(by adding hook function into s…
  ☆140Updated 6 years ago
• tiancaiamao / cora
  Genius programmer should write his own lisp!
  ☆55Updated last week
• CVM-Projects / JitFFI
  A fast and customizable JIT compiler for FFI (Foreign-Function Interface).
  ☆50Updated 2 months ago
• NatsuLang / NatsuLang
  ☆96Updated 6 years ago
• hczhcz / reflectionpp
  A header-only C++11 reflection library
  ☆98Updated last month
• kchanqvq / CSP
  Compile-time LISP interpreter on C macro preprocessor
  ☆142Updated 6 years ago
• yuanzhubi / coroutine_proto
  We provide a prototype of a stackless coroutine.
  ☆34Updated 7 years ago
• PragmaTwice / ichigo-lang
  write a little simply typed functional language to practice Rust
  ☆15Updated last year
• Becavalier / brainfuck-jit-interpreter
  A handwritten Brainfuck JIT interpreter, mainly used for demonstration.
  ☆46Updated last year