Alternatives and similar repositories for Type-System-Zoo

Users that are interested in Type-System-Zoo are comparing it to the libraries listed below

• BowenFu / hspp
  hspp: An experimental library to bring Haskell Style Programming to C++.
  ☆166Updated 2 years ago
• Cheukyin / TemplatedPL
  A Lisp Interpreter Written in C++ Template
  ☆72Updated 4 years ago
• netcan / meta-list
  Intuitive & Powerful C++20 consteval metaprogramming library(via value).
  ☆48Updated 3 years ago
• maksym-pasichnyk / macro_rules
  C++ compile-time Rust's like macro_rules implementation
  ☆92Updated last year
• LPeter1997 / CppCmb
  A generic C++17 parser-combinator library with a natural grammar notation.
  ☆121Updated 4 years ago
• cmuparlay / concurrent_deferred_rc
  Concurrent Deferred Reference Counting
  ☆166Updated last year
• maciejpirog / cpp-effects
  Effect handlers in C++
  ☆124Updated last year
• PragmaTwice / protopuf
  Protocol Puffers: A little, highly templated, and protobuf-compatible serialization/deserialization header-only library written in C++20
  ☆186Updated 2 months ago
• peter-winter / ctpg
  Compile Time Parser Generator is a C++ single header library which takes a language description as a C++ code and turns it into a LR1 tab…
  ☆477Updated 11 months ago
• no-more-secrets / parsco
  C++20 Coroutine-Based Synchronous Parser Combinator Library
  ☆56Updated 3 years ago
• aul12 / TemplateCpu
  Implementing a CPU emulator using C++Templates
  ☆150Updated 5 years ago
• mpark / patterns
  This is an experimental library that has evolved to P2688
  ☆677Updated 8 months ago
• royjacobson / modules-report
  ☆158Updated last year
• qlibs / mp
  C++20 Meta-Programming library
  ☆289Updated 2 months ago
• TheLartians / PEGParser
  💡 Build your own programming language! A C++17 PEG parser generator supporting parser combination, memoization, left-recursion and conte…
  ☆250Updated 4 years ago
• Light-of-Hers / CCTV
  C++ Compile-Time eValuator for scheme
  ☆21Updated 5 years ago
• Quincunx271 / TerseLambda
  Terse Lambdas for C++
  ☆18Updated 2 years ago
• BowenFu / matchit.cpp
  match(it): A lightweight single-header pattern-matching library for C++17 with macro-free APIs.
  ☆622Updated 2 years ago
• TartanLlama / typeclasses
  Future C++ implementation of Rust-like trait objects with no boilerplate
  ☆119Updated 6 years ago
• ice1000 / CompilerWorks
  编译原理相关的工作岗位收集
  ☆87Updated 6 years ago
• 16bit-ykiko / vscode-compiler-explorer
  ☆45Updated last year
• overlogged / steak
  A programming language which provides generalized algebraic data types, pattern matching and lazy evaluation based on C++17.
  ☆30Updated 6 years ago
• qqiangwu / cppsafe
  Cpp lifetime safety profile static analyzer
  ☆61Updated 6 months ago
• cplusplus / CWG
  Core Working Group
  ☆31Updated last week
• itanium-cxx-abi / cxx-abi
  C++ ABI Summary
  ☆557Updated 8 months ago
• mdadams / clang_libraries_companion
  Companion Repository for the Lecture Slides for the Clang Libraries
  ☆100Updated 5 months ago
• boost-ext / te
  C++17 Run-time Polymorphism (Type Erasure) library
  ☆485Updated 4 months ago
• toby-allsopp / coroutine_monad
  Using coroutines as sugar for composing monadic operations
  ☆76Updated 6 years ago
• graninas / cpp_stm_free
  Composable monadic STM for C++ on Free monads
  ☆78Updated 5 years ago
• mattreecebentley / plf_hive
  plf::hive is a fork of plf::colony to match the current C++ standards proposal.
  ☆122Updated last month