Using C++'s type system effectively, safely, expressively
☆24Oct 10, 2016Updated 9 years ago
Alternatives and similar repositories for using-types-effectively
Users that are interested in using-types-effectively are comparing it to the libraries listed below
Sorting:
- C++ standard proposals☆16Jan 30, 2026Updated last month
- A C++ Mini Engine. Based on SDL2.☆16Feb 13, 2020Updated 6 years ago
- Intuitive & Powerful C++20 consteval metaprogramming library(via value).☆49Nov 20, 2021Updated 4 years ago
- Fast containers of polymorphic objects.☆71Dec 10, 2025Updated 2 months ago
- A Python Virtual Machine implemented in Rust. For learning purposes.☆38Nov 7, 2021Updated 4 years ago
- InternetChessKiller - Program created for automatic use computer chess engine program help for playing on chess servers. Short descriptio…☆12Sep 11, 2015Updated 10 years ago
- A Lisp Interpreter Written in C++ Template☆73Dec 11, 2020Updated 5 years ago
- ☆10Jun 2, 2025Updated 9 months ago
- tiger compiler☆10May 6, 2018Updated 7 years ago
- A haskell wrapper for neo4j's Cypher REST API.☆20Jul 31, 2012Updated 13 years ago
- A Regex engine which is implemented in a traditional way and able to generate graphics of finite automation.☆10May 3, 2018Updated 7 years ago
- A C++ 14 implementation of graph data structures☆35Oct 14, 2016Updated 9 years ago
- A GitHub Action that updates the .NET SDK☆18Updated this week
- MCM/ICM 2017 B☆10Jan 29, 2017Updated 9 years ago
- [DEPRECATED] Use https://github.com/akemimadoka/Cafe instead☆37Nov 18, 2018Updated 7 years ago
- An implementation of memcpy for amd64 with clang/gcc☆15Feb 7, 2022Updated 4 years ago
- Artifact of paper "Exploiting Recent SIMD Architectural Advances for Irregular Applications"☆11Jun 23, 2016Updated 9 years ago
- [WIP] Interval Analysis on LLVM IR☆12Jul 6, 2020Updated 5 years ago
- Aurora DirectX Interface☆15Feb 1, 2020Updated 6 years ago
- A demo of runtime theme switching with fake VS for Mac UI.☆11Nov 27, 2016Updated 9 years ago
- polymorphism with value semantics (based on std::variant)☆12Sep 7, 2016Updated 9 years ago
- https://12k.tech☆12Sep 6, 2020Updated 5 years ago
- The implementation for maximum clique enumeration algorithm☆11Apr 14, 2016Updated 9 years ago
- My proposals for the C++ standard☆12Nov 10, 2025Updated 3 months ago
- Scaler Academy - Software Engineering Bootcamp☆11Jan 8, 2024Updated 2 years ago
- Voxel-based MMORPG server using Rust☆11Sep 9, 2021Updated 4 years ago
- MAchine Micro Management UTilities☆11Nov 5, 2020Updated 5 years ago
- Numerical snippets & tests☆12Jan 5, 2026Updated last month
- A LR(1) parser generator targeting C++17.☆13Jul 8, 2020Updated 5 years ago
- Lecture on SIMD units☆11Feb 28, 2017Updated 9 years ago
- Just Build It - a "do what I mean" abstraction for Haskell build tools☆12Jun 8, 2018Updated 7 years ago
- [HC TECH] WarTime Project (2016)☆10Nov 11, 2016Updated 9 years ago
- Verilog code of Loongson's GS132 core☆12Dec 19, 2019Updated 6 years ago
- A pattern matching extension for C#6☆12May 20, 2016Updated 9 years ago
- Context-free grammar parsing library☆10Oct 6, 2024Updated last year
- An extension of the ProteoWizard framework enabling the support of the mzDB format☆13Feb 12, 2021Updated 5 years ago
- Proposal to add static reflection to C++☆14Jun 30, 2018Updated 7 years ago
- yet another linq implementation in C++☆10Jul 22, 2016Updated 9 years ago
- A reimplementation of Minecraft written in Rust☆12Mar 11, 2023Updated 2 years ago