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
Sorting:
- typesafe implementation of tensor algebra in Haskell☆13Feb 27, 2021Updated 5 years ago
- Smile programming language interpreter☆12Dec 31, 2019Updated 6 years ago
- Vim plugin to get scores and commentary of live cricket matches☆12Jun 13, 2019Updated 6 years ago
- Pengines: Prolog engines☆12Feb 22, 2026Updated last week
- Katas for Machine Learning☆14Jun 25, 2019Updated 6 years ago
- One part of my "this-is-why-we-cant-have-nice-thing" series☆12Dec 13, 2016Updated 9 years ago
- The Déjà Vu programming language☆15Aug 12, 2014Updated 11 years ago
- Create flowcharts in elm☆13Apr 19, 2021Updated 4 years ago
- Thin python wrapper around dagre-d3☆17Aug 30, 2024Updated last year
- Analytic sampler framework for algebraic data types☆16May 12, 2023Updated 2 years ago
- Last.fm API for Common Lisp☆16Aug 29, 2019Updated 6 years ago
- An MRCP server load balancer using OpenSIPS☆19Jun 4, 2020Updated 5 years ago
- Notes from our paper reading sessions☆16Sep 24, 2020Updated 5 years ago
- Efficient, high-level dynamic programming☆28Jul 19, 2023Updated 2 years ago
- A mechanized proof of type safety for Featherweight Java using Coq☆16Aug 4, 2018Updated 7 years ago
- Language understanding toolkit for human dialogs.☆19Sep 6, 2025Updated 5 months ago
- Vim plugin to fuzzy search tabs opened in all the browser windows and switch.☆19Feb 5, 2020Updated 6 years ago
- Job descriptions for Tech roles at Skit☆14Aug 29, 2024Updated last year
- ☆20Sep 28, 2018Updated 7 years ago
- Tools for the representation of graphs and flowcharts☆21Aug 13, 2025Updated 6 months ago
- An easy to use wrapper over Msg91's awesome SendOTP library.☆21May 4, 2016Updated 9 years ago
- Analytic sampler compiler for combinatorial systems☆31Jul 10, 2022Updated 3 years ago
- Talks, presentations, workshops.☆28Jan 21, 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
- Logic Programming in Python☆31Sep 28, 2021Updated 4 years ago
- Python wrapper for Google Maps JavaScript API V3 and Google Earth API.☆17Sep 13, 2014Updated 11 years ago
- A cleaner and less cluttered style for emacs☆30Sep 19, 2015Updated 10 years ago
- Hiring resources for roles at Skit☆25Mar 21, 2022Updated 3 years ago
- A program for making zooming slides in figma.☆41Jul 1, 2025Updated 8 months ago
- Luck -- A Language for Property-Based Generators☆36Feb 28, 2025Updated last year
- a social cms based on node.js and mongodb☆30Feb 22, 2012Updated 14 years ago
- /g/ programming language☆13Nov 9, 2011Updated 14 years ago
- https://taxonomicallyinformedannotation.github.io/tima☆12Updated this week
- Termux native glibc environment for samsung xclipse GPU☆11Jun 24, 2025Updated 8 months ago
- Program to estimate aquatic habitats using hydraulic data and biological models☆10Feb 23, 2026Updated last week
- Download your books from Samona as PDFs.☆20Jan 27, 2026Updated last month
- linear algebra for tensors with symbolic and numeric scalars☆32Nov 19, 2019Updated 6 years ago
- exploratory music player☆31Jan 1, 2017Updated 9 years ago
- ✉️ A new way to display the android notifications in the status bar.☆33Feb 17, 2018Updated 8 years ago