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:
- Pengines: Prolog engines☆13Aug 7, 2026Updated last week
- Java bytecode virus proof of concept (jarfile self-replication)☆18Jun 9, 2023Updated 3 years ago
- One part of my "this-is-why-we-cant-have-nice-thing" series☆12Dec 13, 2016Updated 9 years ago
- DEPRECATED: Mozilla Build Metadata Service☆13Jun 27, 2019Updated 7 years ago
- OCaml bindings to GObject-Introspection based on OCaml-Ctypes.☆17Mar 31, 2022Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Improved type safety with tight TypeScript interop☆14Feb 17, 2025Updated last year
- Type Inference Prototyping Engine from Relational specifications of type systems☆11Jun 24, 2020Updated 6 years ago
- A suite of tools for Petri Nets☆14Oct 26, 2022Updated 3 years ago
- A context-oriented programming language with support for multiple programming paradigms with a focus on context oriented programming.☆16Updated this week
- Zipit Z2 (PXA) target for openwrt☆11Jun 16, 2019Updated 7 years ago
- Useful synchronization primitives.☆21Feb 20, 2026Updated 5 months ago
- A LaTeX package for formatting meta-theory.☆46Nov 19, 2020Updated 5 years ago
- simple terminal ascii tables for nim☆24May 29, 2019Updated 7 years ago
- Variable length arrays for Nim☆17May 16, 2021Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Analytic sampler framework for algebraic data types☆16May 12, 2023Updated 3 years ago
- Example package demonstrates how to use pytest for testing ROS nodes☆11Jul 12, 2018Updated 8 years ago
- Telemetry onboarding material☆11Apr 1, 2020Updated 6 years ago
- Find the merge and pull request a commit came from + fuzzy search for cherry-picks☆20Jul 2, 2024Updated 2 years ago
- /g/ programming language☆13Nov 9, 2011Updated 14 years ago
- Material de curso ECI 2018☆10Aug 6, 2018Updated 8 years ago
- ☆21Sep 28, 2018Updated 7 years ago
- Compact Elastic Binary Trees: only require two pointers, like a doubly-linked list, to build a tree. Duplicates not implemented for now, …☆15Jul 29, 2026Updated 2 weeks 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 2 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.
- Emacs 24 theme with a light background.☆22Jan 31, 2021Updated 5 years ago
- High-performance rendering interface and compute framework over Vulkan API☆17Jul 5, 2026Updated last month
- Portable SIMD specification☆19Apr 24, 2017Updated 9 years ago
- former moviesascode.net carried on git☆15Nov 22, 2015Updated 10 years ago
- A comprehensive tutorial for running OpenGL apps on containers☆18Mar 15, 2021Updated 5 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
- A Coq development of the theory of Indexed W types with function extensionality.☆11Sep 13, 2017Updated 8 years ago
- pytest support for ROS☆16Mar 7, 2023Updated 3 years ago
- Data structure for efficient fitness-proportionate selection.☆24Sep 22, 2017Updated 8 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Open vStorage ALBA (alternate backend) creates a replicated or flexible network raid’ed object storage backend out of Seagate Kinetic dr…☆32Feb 1, 2018Updated 8 years ago
- Paper about polynomial functors, regular expressions, matrices of types, derivatives, semirings, and other cool stuff☆14Feb 13, 2018Updated 8 years ago
- Automated Continuous Data Quality Measurement☆12Nov 15, 2023Updated 2 years ago
- Sample notebooks for Juno☆11Mar 1, 2025Updated last year
- SDK for creating waPC WebAssembly Guest Modules in Zig☆14Dec 27, 2021Updated 4 years ago
- ☆15Jan 3, 2025Updated last year
- the Oasis programming language☆21Sep 10, 2022Updated 3 years ago