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 7 months ago
- BYOHC workshop 活動記錄☆29Updated 9 years ago
- GHC plugin that improves Haskell code's numerical stability☆194Updated 10 years ago
- A program for evaluating a Haskell expression step-by-step☆50Updated 9 years ago
- LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming☆108Updated 2 years ago
- Small program to convert ASCII box art to Unicode box drawings.☆60Updated 8 years ago
- Haskell library: ECMAScript parser, pretty-printer and additional tools☆46Updated last year
- A modern tool for literate programming☆277Updated 8 years ago
- manipulate a php codebase using haskell to transform the abstract-syntax-tree☆181Updated 11 years ago
- PeaCoq is a pretty Coq, isn't it?☆105Updated 4 years ago
- An experimental native Haskell graph database☆62Updated 7 years ago
- Haskell HTTP package☆186Updated this week
- A haskell interpreter in javascript☆198Updated 15 years ago
- CLI string generator based on regex-like operations☆41Updated 5 years ago
- Convert/mirror darcs repos into git repos☆103Updated last year
- Tool to count lines of source code.☆254Updated 2 years ago
- 301 moved permanently https://github.com/python-parsy/parsy☆42Updated 8 years ago
- Beautiful, interactive visualizations of logical inference☆151Updated 4 years ago
- File/CGI web server on Warp☆146Updated 5 months ago
- Python backend for Idris (generates Python source, not bytecode).☆125Updated 8 years ago
- The Definition of Standard ML (1990)☆124Updated 11 years ago
- ☆56Updated 8 years ago
- an attempt to implement miniKanren and microKanren in Python☆54Updated 11 years ago
- A pager for grep☆106Updated 4 years ago
- Command line tool to delete cabal library packages☆24Updated 10 years ago
- Learn you an Agda (and achieve enlightenment)☆317Updated 7 years ago
- A Haskell implementation of crit-bit trees.☆140Updated 3 years ago
- An implementation of Python 3☆315Updated 10 years ago
- REST'ful web framework in Agda☆134Updated 15 years ago
- A Super Kawaii Dependently Typed Programming Language☆176Updated 7 years ago