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 5 months ago
- The Definition of Standard ML (1990)☆124Updated 11 years ago
- The Kleenex programming language☆56Updated last year
- Haskell library: ECMAScript parser, pretty-printer and additional tools☆46Updated last year
- PeaCoq is a pretty Coq, isn't it?☆105Updated 4 years ago
- CLI string generator based on regex-like operations☆41Updated 5 years ago
- A haskell interpreter in javascript☆198Updated 15 years ago
- A Smarter QuickCheck☆102Updated 8 years ago
- Small program to convert ASCII box art to Unicode box drawings.☆60Updated 8 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
- Convert/mirror darcs repos into git repos☆102Updated last year
- A Python 3 compiler that anyone can understand.☆67Updated 11 years ago
- manipulate a php codebase using haskell to transform the abstract-syntax-tree☆181Updated 11 years ago
- Automatically exported from code.google.com/p/ghilbert☆47Updated 8 years ago
- An experimental native Haskell graph database☆62Updated 7 years ago
- A modern tool for literate programming☆277Updated 8 years ago
- Beautiful, interactive visualizations of logical inference☆150Updated 4 years ago
- History of Programming Languages, Spring 2017☆136Updated 7 years ago
- Templating engine based on shell interpolation☆32Updated 8 years ago
- GHC plugin that improves Haskell code's numerical stability☆194Updated 10 years ago
- Stand-alone command-line version of the pointful plugin for Lambdabot.☆26Updated 2 years ago
- Command line tool to delete cabal library packages☆24Updated 10 years ago
- Haskell generic interface (type classes) for cryptographic algorithms☆29Updated 8 years ago
- A Super Kawaii Dependently Typed Programming Language☆176Updated 7 years ago
- Haskell HTTP package☆183Updated this week
- Link to preprints for POPL'18 and colocated events☆86Updated 7 years ago
- Small utility that runs multiple computations in parallel☆41Updated 5 years ago
- Python backend for Idris (generates Python source, not bytecode).☆125Updated 8 years ago