A commented list of Modern C++ resources
☆60Nov 16, 2025Updated 3 months ago
Alternatives and similar repositories for modern-cpp-references
Users that are interested in modern-cpp-references are comparing it to the libraries listed below
Sorting:
- 化学式验证码☆12Jan 24, 2021Updated 5 years ago
- Solutions to The Art of Computer Programming exercises☆12May 29, 2017Updated 8 years ago
- examples of C++ Templates - The Complete Guide☆14Mar 14, 2013Updated 12 years ago
- Stacks project, from a homotopy type theory point-of-view (hPOV)☆14Oct 10, 2020Updated 5 years ago
- Common lisp implementation of Val Schorr's Meta-II language☆19Mar 19, 2017Updated 8 years ago
- Just for fun, 114594☆17Apr 28, 2020Updated 5 years ago
- Implementation of Martin-Löf Type Theory in Haskell☆16Feb 21, 2016Updated 10 years ago
- A Buffet Of C++17 State Machines☆23Aug 1, 2021Updated 4 years ago
- Library for invertible parsing and printing☆33Aug 25, 2025Updated 6 months ago
- A ZeroMQ wrapper for the D programming language☆36Aug 6, 2022Updated 3 years ago
- My Submissions in LeetCode Using Ruby and Python☆10Aug 29, 2019Updated 6 years ago
- Auto completion for Emacs using DCD: the D completion daemon☆21Sep 25, 2025Updated 5 months ago
- Constructive Interpretations of HoTT☆36Aug 26, 2020Updated 5 years ago
- Idris, make back end, in 15 minutes, reusable, concise: https://bitbucket.org/thautwarm/ppl2020-idris-codegen-backend/src/master☆24Jun 2, 2020Updated 5 years ago
- Lua backend for Idris 2☆28Aug 14, 2022Updated 3 years ago
- build tool and package manager for idris,in idris,with free monads☆32Feb 20, 2019Updated 7 years ago
- 📘🌼 A bunch of Pollen recipes☆30Jan 23, 2022Updated 4 years ago
- Minimal example of using FastCGI C programs compiled with gcc with the lighttpd ("lighty") web server.☆34Feb 8, 2019Updated 7 years ago
- ☆31Oct 31, 2019Updated 6 years ago
- ☆11Oct 25, 2024Updated last year
- A python script to walk the directory tree of a C/C++ project of embedded system to generate CMakeLists.txt files for building the execut…☆10May 6, 2022Updated 3 years ago
- 7zx is a small C library to extract, test and list 7z / 7zip archives☆10Feb 11, 2023Updated 3 years ago
- Nonconvex Regularized Robust Regression via I-LAMM Algorithm☆11May 9, 2022Updated 3 years ago
- Setoid type theory implementation☆38Aug 24, 2023Updated 2 years ago
- A friendly, afternoon introduction to html and css.☆21Jul 18, 2014Updated 11 years ago
- This repo helps to transform text into a better form for lora training☆13Apr 9, 2023Updated 2 years ago
- Collection of benchmarks for C++ Exception Handling☆10Apr 6, 2018Updated 7 years ago
- Automatically exported from code.google.com/p/rosasm2052f☆14Jun 12, 2022Updated 3 years ago
- smart imports for Python☆39Nov 8, 2021Updated 4 years ago
- My Privoxy configuration files☆27Apr 15, 2012Updated 13 years ago
- A server for the forester tool☆17Dec 10, 2024Updated last year
- Basic implementation of a double auction in Python☆10Aug 30, 2021Updated 4 years ago
- Maven plugin that talks to docker-compose command-line interface☆13Feb 5, 2023Updated 3 years ago
- ☆12Mar 13, 2025Updated 11 months ago
- Social coding with Git and GitHub.☆18Mar 21, 2015Updated 10 years ago
- Runtime type information for JavaScript and TypeScript programs☆10Jun 16, 2024Updated last year
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated 11 months ago
- Create string diagrams with LaTeX!☆14Jan 3, 2025Updated last year