mraggi / discretureView external linksLinks
A modern C++ library for efficiently and easily iterating through common combinatorial objects, such as combinations, permutations, partitions and more.
☆73May 22, 2022Updated 3 years ago
Alternatives and similar repositories for discreture
Users that are interested in discreture are comparing it to the libraries listed below
Sorting:
- chromium based robot framework☆11Oct 20, 2022Updated 3 years ago
- A Dict k v in Idris☆15Dec 15, 2020Updated 5 years ago
- Multinomials for the Mathematical Components library.☆16Nov 7, 2025Updated 3 months ago
- Abstract type and interface definition for quantum circuit blocks.☆17Nov 9, 2021Updated 4 years ago
- Coxeter is a library for the study of combinatorial aspects of Coxeter group theory☆11Dec 28, 2023Updated 2 years ago
- An SMTP server implementation for Racket.☆18Nov 7, 2025Updated 3 months ago
- Code-regrouping to reduce latency in Julia code compilation☆15Mar 11, 2022Updated 3 years ago
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆16May 4, 2018Updated 7 years ago
- get you an ultimate lexer generator using Fable; port OCaml sedlex to FSharp, Python and more!☆16Aug 6, 2022Updated 3 years ago
- MathLib is a versatile C++ library that provides a wide range of mathematical algorithms and functions, including but not limited to tran…☆11Jun 6, 2023Updated 2 years ago
- Parsers and Tools for OpenQASM☆19Jan 11, 2026Updated last month
- A toolkit for higher-dimensional diagram rewriting.☆18Sep 15, 2022Updated 3 years ago
- Classification of combinatorial objects☆19Feb 2, 2026Updated last week
- fast prime sieve and hash algorithm☆40Aug 31, 2025Updated 5 months ago
- Rima is a tool for formulating mathematical models☆19Sep 3, 2015Updated 10 years ago
- ☆22Sep 6, 2016Updated 9 years ago
- Automatic code generation of Fast Multipole and Barnes-Hut operators☆18Oct 25, 2022Updated 3 years ago
- A zk-SNARK for randomized algorithms + linear-size universal circuits (https://eprint.iacr.org/2020/278)☆18Jan 24, 2021Updated 5 years ago
- Generate and perturb protein structural ensembles using the ExProSE algorithm☆23Oct 23, 2024Updated last year
- A modern, C++20-native, single-file header-only dense 2D matrix library.☆89Mar 16, 2024Updated last year
- Примеры использования https://github.com/shtrih-m/fr_drv_ng☆10Feb 21, 2025Updated 11 months ago
- ☆23Sep 28, 2021Updated 4 years ago
- IO should be just a library☆23Jul 17, 2023Updated 2 years ago
- Standard ML Grammar for Tree-sitter☆25Jan 14, 2022Updated 4 years ago
- Compiler-assisted variable size benchmarking for the study of C++ metaprogram compile times.☆26Sep 26, 2024Updated last year
- optional bare - A simple version of a C++17-like optional for default-constructible, copyable types, for C++98 and later in a single-fil…☆22Nov 28, 2025Updated 2 months ago
- ☆24Jul 3, 2024Updated last year
- ☆29May 26, 2025Updated 8 months ago
- collective tools for Julia SSA IR.☆29Nov 30, 2023Updated 2 years ago
- An experimental library for PDP and POR☆31Feb 3, 2021Updated 5 years ago
- Racket plugin for the IntelliJ Platform☆19Aug 25, 2025Updated 5 months ago
- a simple x64 assembler written in typed/racket☆18Apr 6, 2021Updated 4 years ago
- C++20's jthread for C++11 and later in a single-file header-only library (WIP).☆67Nov 28, 2025Updated 2 months 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
- A compile-time header-only C++17 library for dataflow programing.☆28Nov 29, 2023Updated 2 years ago
- Highly composable C++17 template meta programming library☆40Mar 2, 2019Updated 6 years ago
- Repository for raising issues and requesting help on Ubermag☆11Nov 8, 2023Updated 2 years ago
- ☆10Jun 29, 2021Updated 4 years ago
- Analyze escape information in Julia IR.☆34Feb 20, 2022Updated 3 years ago