Combinatorial tricks to enumerate regular expressions in closed-form.
☆33Dec 14, 2016Updated 9 years ago
Alternatives and similar repositories for RegexEnumerator
Users that are interested in RegexEnumerator are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Smile programming language interpreter☆12Dec 31, 2019Updated 6 years ago
- Skit's tech website☆11Jul 1, 2024Updated last year
- Create flowcharts in elm☆13Apr 19, 2021Updated 4 years ago
- Vim plugin to get scores and commentary of live cricket matches☆12Jun 13, 2019Updated 6 years ago
- Katas for Machine Learning☆14Jun 25, 2019Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- An OCaml interface to the Enlightenment Foundation Libraries (EFL) and Elementary☆27Dec 20, 2022Updated 3 years ago
- Pengines: Prolog engines☆12Mar 15, 2026Updated last month
- Java bytecode virus proof of concept (jarfile self-replication)☆17Jun 9, 2023Updated 2 years ago
- typesafe implementation of tensor algebra in Haskell☆13Feb 27, 2021Updated 5 years ago
- A development version of the numerically exact variant of MIP solver SCIP☆12Mar 22, 2023Updated 3 years ago
- Last.fm API for Common Lisp☆16Aug 29, 2019Updated 6 years ago
- One part of my "this-is-why-we-cant-have-nice-thing" series☆12Dec 13, 2016Updated 9 years ago
- Notes from our paper reading sessions☆16Sep 24, 2020Updated 5 years ago
- A game based on optical illusion made with vanilla.js☆10Jan 9, 2018Updated 8 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- SAT-based solver for the Hexiom logic puzzle☆34Feb 20, 2012Updated 14 years ago
- A mechanized proof of type safety for Featherweight Java using Coq☆16Aug 4, 2018Updated 7 years ago
- A system for online math exercises.☆10Dec 21, 2021Updated 4 years ago
- Type Inference Prototyping Engine from Relational specifications of type systems☆11Jun 24, 2020Updated 5 years ago
- ☆12Nov 17, 2018Updated 7 years ago
- Analytic sampler framework for algebraic data types☆16May 12, 2023Updated 2 years ago
- 👨🏻💻 Command line interface for user input☆36Jan 26, 2020Updated 6 years ago
- Variable length arrays for Nim☆17May 16, 2021Updated 4 years ago
- Matroids in Lean☆18Dec 23, 2023Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Tools for the representation of graphs and flowcharts☆21Aug 13, 2025Updated 8 months ago
- An easy to use wrapper over Msg91's awesome SendOTP library.☆21May 4, 2016Updated 9 years ago
- Image builder for systemd-machined☆13Mar 18, 2016Updated 10 years ago
- generate facebook messaging statistics☆37Oct 29, 2018Updated 7 years ago
- A program for making zooming slides in figma.☆42Jul 1, 2025Updated 9 months ago
- Material de curso ECI 2018☆10Aug 6, 2018Updated 7 years ago
- A minimal buildpack for Pipenv.☆11Feb 13, 2019Updated 7 years ago
- A custom 16-bit computer☆12Oct 17, 2018Updated 7 years ago
- Shush is an intelligent manager for your phone’s ringer.☆10Feb 9, 2018Updated 8 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Problems from IOITC'16 (India)☆10Jan 12, 2022Updated 4 years ago
- Translation of, and commentary on, Joyal's classic paper "Une théorie combinatoire des séries formelles" (A combinatorial theory of forma…☆30Jul 20, 2024Updated last year
- Portable SIMD specification☆19Apr 24, 2017Updated 8 years ago
- An implementation of Penticons in go programming language☆10Sep 28, 2018Updated 7 years ago
- ☆20Sep 28, 2018Updated 7 years ago
- OCaml bindings to wlroots [experimental]☆28Feb 6, 2024Updated 2 years ago
- Vulnerable Windows Driver with exploits which were used for demonstration purposes on Hunting and exploiting bugs in kernel drivers prese…☆13Jan 29, 2013Updated 13 years ago