shonfeder / tokenize
A tokenizer written in (SWI-)Prolog. It has some useful features and some flexibility and it might improve.
☆11Updated 5 years ago
Alternatives and similar repositories for tokenize:
Users that are interested in tokenize are comparing it to the libraries listed below
- Web Framework for SWI-Prolog☆42Updated 9 years ago
- Prolog stuff☆26Updated 5 years ago
- a code coverage tool for racket☆38Updated 8 months ago
- Probabilistic miniKanren☆62Updated 9 years ago
- Interactive POetry Editor☆28Updated 3 years ago
- APL parser written in Standard ML☆19Updated 8 years ago
- Loghyc - a miniKanren implementation in Hy☆89Updated 4 years ago
- Prolog implementation of microKanren☆41Updated 9 years ago
- Relational Programming in miniKanren☆52Updated 9 years ago
- Repository has moved: https://git.syndicate-lang.org/syndicate-lang/marketplace-2014☆73Updated 3 years ago
- Gradual WAM implementation using Hassan Aït-Kaci's tutorial reconstruction☆27Updated 6 years ago
- Canonical miniKanren implementation in Racket☆84Updated 3 years ago
- Constraint programming language embedded in Racket☆152Updated 3 years ago
- Indentation-based Racket Syntax☆37Updated 3 years ago
- Date and time library for Prolog☆27Updated 3 years ago
- Apply and compose functions in Prolog☆19Updated 8 years ago
- The Hy Transformer☆80Updated 5 years ago
- Racket DSL for generating parsers from BNF grammars [moved to https://git.matthewbutterick.com/mbutterick/brag]☆61Updated 2 years ago
- Optional types for Prolog☆11Updated 6 years ago
- Generic collections API for Racket☆52Updated 2 years ago
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆59Updated 6 years ago
- A parser tool for Racket with an expressive grammar notation☆20Updated 9 years ago
- A BASIC-flavored Lisp dialect☆72Updated last year
- microKanren implementation from DLS '16☆15Updated 6 years ago
- Poplog☆21Updated 14 years ago
- Mocking library for Racket☆22Updated 4 years ago
- A rule engine based on Attempto Controlled English☆18Updated 2 months ago
- Randomized testing for Prolog à la QuickCheck☆23Updated 5 years ago
- A Declarative Theorem Prover for First-Order Classical Logic☆28Updated 7 months ago
- Pengine and Prolog scratchpad☆57Updated 4 years ago