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
- Generate recursively nested polygons as an SVG /// designed with laser cutting in mind☆26Dec 23, 2019Updated 6 years ago
- An OCaml interface to the Enlightenment Foundation Libraries (EFL) and Elementary☆27Dec 20, 2022Updated 3 years ago
- Katas for Machine Learning☆15Jun 25, 2019Updated 7 years ago
- A Python implementation of antirez's kilo text editor☆16Apr 26, 2019Updated 7 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- The Déjà Vu programming language☆15Aug 12, 2014Updated 11 years ago
- Pengines: Prolog engines☆13Jul 19, 2026Updated last week
- Vim plugin to get scores and commentary of live cricket matches☆12Jun 13, 2019Updated 7 years ago
- Java bytecode virus proof of concept (jarfile self-replication)☆17Jun 9, 2023Updated 3 years ago
- Last.fm API for Common Lisp☆16Aug 29, 2019Updated 6 years ago
- Learning BPE embeddings by first learning a segmentation model and then training word2vec☆19Dec 18, 2022Updated 3 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
- Notes from our paper reading sessions☆16Sep 24, 2020Updated 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.
- DEPRECATED: Mozilla Build Metadata Service☆13Jun 27, 2019Updated 7 years ago
- Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.☆11Dec 7, 2012Updated 13 years ago
- OCaml bindings to GObject-Introspection based on OCaml-Ctypes.☆17Mar 31, 2022Updated 4 years ago
- Kinect-based gesture and voice-controlled Google Earth navigation☆15Sep 8, 2014Updated 11 years ago
- A mechanized proof of type safety for Featherweight Java using Coq☆16Aug 4, 2018Updated 7 years ago
- casefold for python 2.☆15Oct 21, 2018Updated 7 years ago
- An application of genetic algorithms in pathfinding.☆10Oct 28, 2019Updated 6 years ago
- Job descriptions for Tech roles at Skit☆14Aug 29, 2024Updated last year
- Efficient, high-level dynamic programming☆28Jul 19, 2023Updated 3 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Image builder for systemd-machined☆13Mar 18, 2016Updated 10 years ago
- A LaTeX package for formatting meta-theory.☆46Nov 19, 2020Updated 5 years ago
- ☆12Nov 17, 2018Updated 7 years ago
- Tools for the representation of graphs and flowcharts☆21May 18, 2026Updated 2 months ago
- Analytic sampler framework for algebraic data types☆16May 12, 2023Updated 3 years ago
- Wolf is a wrapper around Amazon Simple Workflow Service.☆16Nov 4, 2022Updated 3 years ago
- In-memory tar-based filesystem for go☆21Oct 5, 2017Updated 8 years ago
- /g/ programming language☆13Nov 9, 2011Updated 14 years ago
- jfbterm☆10May 7, 2015Updated 11 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Material de curso ECI 2018☆10Aug 6, 2018Updated 7 years ago
- ☆21Sep 28, 2018Updated 7 years ago
- JavaScript Complex Math☆40Jan 5, 2023Updated 3 years ago
- Are you sure it's not SMBC? Developed for LFC posts on /r/xkcd.☆10Apr 12, 2017Updated 9 years ago
- Currified localForage with a side of extras.☆19Jul 20, 2022Updated 4 years ago
- INACTIVE - http://mzl.la/ghe-archive - Your Interface to Release Engineering Automation -☆14Mar 29, 2019Updated 7 years ago
- Problems from IOITC'16 (India)☆10Jan 12, 2022Updated 4 years ago