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
- Katas for Machine Learning☆14Jun 25, 2019Updated 6 years ago
- The Déjà Vu programming language☆15Aug 12, 2014Updated 11 years ago
- An OCaml interface to the Enlightenment Foundation Libraries (EFL) and Elementary☆27Dec 20, 2022Updated 3 years ago
- Pengines: Prolog engines☆12Mar 15, 2026Updated last week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- An MRCP server load balancer using OpenSIPS☆19Jun 4, 2020Updated 5 years ago
- Efficient, high-level dynamic programming☆28Jul 19, 2023Updated 2 years ago
- Last.fm API for Common Lisp☆16Aug 29, 2019Updated 6 years ago
- A Task Runner in Bash☆35Feb 23, 2020Updated 6 years ago
- One part of my "this-is-why-we-cant-have-nice-thing" series☆12Dec 13, 2016Updated 9 years ago
- Vim plugin to fuzzy search tabs opened in all the browser windows and switch.☆19Feb 5, 2020Updated 6 years ago
- A mechanized proof of type safety for Featherweight Java using Coq☆16Aug 4, 2018Updated 7 years ago
- Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.☆11Dec 7, 2012Updated 13 years ago
- Implementation of SelfExtend from the paper "LLM Maybe LongLM: Self-Extend LLM Context Window Without Tuning" from Pytorch and Zeta☆13Nov 11, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- ✉️ A new way to display the android notifications in the status bar.☆33Feb 17, 2018Updated 8 years ago
- An application of genetic algorithms in pathfinding.☆10Oct 28, 2019Updated 6 years ago
- Type Inference Prototyping Engine from Relational specifications of type systems☆11Jun 24, 2020Updated 5 years ago
- Auto Completion for contacts in a mutt aliases file☆13Oct 8, 2019Updated 6 years ago
- meta.plasm.us☆32Dec 11, 2021Updated 4 years ago
- Python samples for Micro-Manager: image acquisition and microscope control system☆22Sep 26, 2019Updated 6 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
- Tools for the representation of graphs and flowcharts☆21Aug 13, 2025Updated 7 months ago
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- An easy to use wrapper over Msg91's awesome SendOTP library.☆21May 4, 2016Updated 9 years ago
- generate facebook messaging statistics☆37Oct 29, 2018Updated 7 years ago
- Talks, presentations, workshops.☆28Jan 21, 2022Updated 4 years ago
- Material de curso ECI 2018☆10Aug 6, 2018Updated 7 years ago
- A custom 16-bit computer☆12Oct 17, 2018Updated 7 years ago
- Concept proposals for a better operating system☆11Nov 1, 2016Updated 9 years ago
- Shush is an intelligent manager for your phone’s ringer.☆10Feb 9, 2018Updated 8 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
- Pokémon Versioning☆11Jan 5, 2017Updated 9 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.
- Python wrapper for Wowza API☆13Jun 27, 2018Updated 7 years ago
- node.js topological sort utility☆13Feb 28, 2013Updated 13 years ago
- Are you sure it's not SMBC? Developed for LFC posts on /r/xkcd.☆10Apr 12, 2017Updated 8 years ago
- Portable SIMD specification☆19Apr 24, 2017Updated 8 years ago
- Code for ATTiny85 on name badges☆17Feb 13, 2020Updated 6 years ago
- A live wallpaper that changes color based on the device's current time.☆13Jun 11, 2018Updated 7 years ago
- A Coq development of the theory of Indexed W types with function extensionality.☆11Sep 13, 2017Updated 8 years ago