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++.
  ☆169Updated 3 years ago
• Cheukyin / TemplatedPL
  A Lisp Interpreter Written in C++ Template
  ☆73Updated 5 years ago
• LPeter1997 / CppCmb
  A generic C++17 parser-combinator library with a natural grammar notation.
  ☆121Updated 4 years ago
• netcan / meta-list
  Intuitive & Powerful C++20 consteval metaprogramming library(via value).
  ☆49Updated 4 years ago
• maksym-pasichnyk / macro_rules
  C++ compile-time Rust's like macro_rules implementation
  ☆92Updated last year
• 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…
  ☆480Updated last year
• PragmaTwice / protopuf
  Protocol Puffers: A little, highly templated, and protobuf-compatible serialization/deserialization header-only library written in C++20
  ☆196Updated 6 months ago
• cmuparlay / concurrent_deferred_rc
  Concurrent Deferred Reference Counting
  ☆172Updated last year
• maciejpirog / cpp-effects
  Effect handlers in C++
  ☆123Updated 2 years ago
• BowenFu / matchit.cpp
  match(it): A lightweight single-header pattern-matching library for C++17 with macro-free APIs.
  ☆632Updated this week
• TheLartians / PEGParser
  💡 Build your own programming language! A C++17 PEG parser generator supporting parser combination, memoization, left-recursion and conte…
  ☆251Updated 4 years ago
• mpark / patterns
  This is an experimental library that has evolved to P2688
  ☆682Updated last year
• shuaimu / rusty-cpp
  ☆67Updated this week
• qlibs / mp
  C++20 Meta-Programming library
  ☆307Updated 6 months ago
• aul12 / TemplateCpu
  Implementing a CPU emulator using C++Templates
  ☆153Updated 5 years ago
• Quincunx271 / TerseLambda
  Terse Lambdas for C++
  ☆18Updated 2 years ago
• jll63 / yomm2
  Fast, orthogonal, open multi-methods. Solve the Expression Problem in C++17.
  ☆379Updated 4 months ago
• TartanLlama / typeclasses
  Future C++ implementation of Rust-like trait objects with no boilerplate
  ☆119Updated 6 years ago
• no-more-secrets / parsco
  C++20 Coroutine-Based Synchronous Parser Combinator Library
  ☆60Updated 4 years ago
• npuichigo / exec-rs
  C++ p2300 proposal in Rust
  ☆21Updated 2 years ago
• cplusplus / CWG
  Core Working Group
  ☆37Updated last week
• Light-of-Hers / CCTV
  C++ Compile-Time eValuator for scheme
  ☆21Updated 5 years ago
• 16bit-ykiko / vscode-compiler-explorer
  ☆49Updated last year
• ConorWilliams / libfork
  A bleeding-edge, lock-free, wait-free, continuation-stealing tasking library built on C++20's coroutines
  ☆790Updated this week
• frozenca / BTree
  A general-purpose high-performance lightweight STL-like modern C++ B-Tree
  ☆243Updated last year
• timsong-cpp / cppwp
  HTML version of the current C++ working paper
  ☆488Updated last week
• graninas / cpp_stm_free
  Composable monadic STM for C++ on Free monads
  ☆80Updated 5 years ago
• royjacobson / modules-report
  ☆160Updated 2 years ago
• overlogged / steak
  A programming language which provides generalized algebraic data types, pattern matching and lazy evaluation based on C++17.
  ☆30Updated 6 years ago
• cppfastio / fast_io
  Freestanding fast input/output for C++20
  ☆821Updated this week