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:
- A parser for Python 2.x and 3.x written in Haskell☆160Updated 6 months ago
- BYOHC workshop 活動記錄☆29Updated 9 years ago
- Haskell HTTP package☆184Updated 2 weeks ago
- Haskell library: ECMAScript parser, pretty-printer and additional tools☆46Updated last year
- A modern tool for literate programming☆277Updated 8 years ago
- LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming☆108Updated 2 years ago
- GHC plugin that improves Haskell code's numerical stability☆194Updated 10 years ago
- manipulate a php codebase using haskell to transform the abstract-syntax-tree☆181Updated 11 years ago
- A program for evaluating a Haskell expression step-by-step☆50Updated 9 years ago
- Convert/mirror darcs repos into git repos☆102Updated last year
- CLI string generator based on regex-like operations☆41Updated 5 years ago
- Cgrep: a context-aware grep for source codes☆725Updated last month
- PeaCoq is a pretty Coq, isn't it?☆105Updated 4 years ago
- Small program to convert ASCII box art to Unicode box drawings.☆60Updated 8 years ago
- Ende is a hypothetical programming language.☆23Updated 5 years ago
- File/CGI web server on Warp☆143Updated 4 months ago
- Tool to count lines of source code.☆254Updated last year
- A haskell interpreter in javascript☆198Updated 15 years ago
- A Haskell implementation of the Tor protocol.☆274Updated 8 years ago
- Command line tool to delete cabal library packages☆24Updated 10 years ago
- An experimental native Haskell graph database☆62Updated 7 years ago
- Beautiful, interactive visualizations of logical inference☆150Updated 4 years ago
- A pager for grep☆106Updated 4 years ago
- Example how to call Haskell from Python easily (using ctypes.cdll.LoadLibrary)☆58Updated 12 years ago
- Automatically exported from code.google.com/p/ghilbert☆47Updated 8 years ago
- History of Programming Languages, Spring 2017☆137Updated 7 years ago
- A Super Kawaii Dependently Typed Programming Language☆176Updated 7 years ago
- JSure is a fast, standalone Javascript checker.☆37Updated 7 years ago
- A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter☆205Updated last year
- A utility on top of Git for project-wide search-and-replace that includes filenames too☆50Updated 3 years ago