audreyt / regex-genexLinks
Given a list of regexes, generate all possible strings that matches all of them.
☆148Updated 10 years ago
Alternatives and similar repositories for regex-genex
Users that are interested in regex-genex are comparing it to the libraries listed below
Sorting:
- BYOHC workshop 活動記錄☆29Updated 9 years ago
- A parser for Python 2.x and 3.x written in Haskell☆159Updated 4 months ago
- The Definition of Standard ML (1990)☆124Updated 10 years ago
- A Python 3 compiler that anyone can understand.☆67Updated 11 years ago
- A modern tool for literate programming☆277Updated 8 years ago
- CLI string generator based on regex-like operations☆41Updated 5 years ago
- Haskell library: ECMAScript parser, pretty-printer and additional tools☆46Updated last year
- LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming☆107Updated 2 years ago
- manipulate a php codebase using haskell to transform the abstract-syntax-tree☆182Updated 11 years ago
- Convert/mirror darcs repos into git repos☆100Updated 11 months ago
- GHC plugin that improves Haskell code's numerical stability☆194Updated 10 years ago
- PeaCoq is a pretty Coq, isn't it?☆105Updated 4 years ago
- Haskell HTTP package☆183Updated 2 weeks ago
- Command line tool to delete cabal library packages☆24Updated 10 years ago
- A program for evaluating a Haskell expression step-by-step☆50Updated 8 years ago
- Small program to convert ASCII box art to Unicode box drawings.☆60Updated 8 years ago
- An experimental native Haskell graph database☆62Updated 6 years ago
- Tool to count lines of source code.☆252Updated last year
- Link to preprints for POPL'18 and colocated events☆86Updated 7 years ago
- The Kleenex programming language☆56Updated last year
- An implementation of Python 3☆314Updated 9 years ago
- Types for Python☆87Updated 7 years ago
- Cgrep: a context-aware grep for source codes☆716Updated this week
- Visualizing the activity of many concurrent processes☆59Updated 5 years ago
- an attempt to implement miniKanren and microKanren in Python☆54Updated 11 years ago
- A lazy specializing virtual machine for purely functional languages☆101Updated 7 years ago
- SQL parser and type checker in Haskell☆111Updated 4 years ago
- Share your research online by compiling it to JavaScript!☆23Updated 10 years ago
- Beautiful, interactive visualizations of logical inference☆149Updated 4 years ago
- 🐣 A blog engine written and proven in Coq☆182Updated 5 years ago