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
- Prolog stuff☆28Updated 5 years ago
- CHR: Leuven Constraint Handling Rules☆24Updated last week
- Date and time library for Prolog☆27Updated 4 years ago
- APL parser written in Standard ML☆19Updated 8 years ago
- Web Framework for SWI-Prolog☆43Updated 9 years ago
- A parser tool for Racket with an expressive grammar notation☆20Updated 10 years ago
- Constraint programming language embedded in Racket☆153Updated 3 years ago
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆58Updated 6 years ago
- Randomized testing for Prolog à la QuickCheck☆23Updated 5 years ago
- Markdown parser for SWI-Prolog.☆21Updated 4 years ago
- Boolean Constraint Solving in Prolog☆40Updated 3 months ago
- Prolog implementation of microKanren☆43Updated 10 years ago
- Pengines: Prolog engines☆12Updated 2 weeks ago
- Extend Definite Clause Grammars for Prolog by the corresponding parse tree☆11Updated 2 years ago
- A simple Prolog API for the Z3 constraint solver☆15Updated 7 years ago
- A WAM (Warren Abstract Machine for Prolog) written in Common Lisp☆13Updated 6 years ago
- Metacompiler library supporting incremental transformation based on reference attribute grammar controlled rewriting.☆30Updated last month
- The Aldor Programming Language☆34Updated last month
- Optional types for Prolog☆11Updated 6 years ago
- Datalog implemented in minikanren☆24Updated 7 years ago
- Haskell Semantics with Lisp Syntax☆68Updated 11 years ago
- The SWI-Prolog RDF store☆30Updated 2 weeks ago
- Generic graph library and algorithms for Racket.☆59Updated last year
- Indentation-based Racket Syntax☆37Updated 3 years ago
- Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.☆21Updated 10 years ago
- Canonical miniKanren implementation in Racket☆84Updated 3 years ago
- Poplog☆21Updated 14 years ago
- Common Lisp with Arc Macros and Procedures☆74Updated 8 years ago
- DocLog builds documentation from source code in Prolog☆26Updated 2 months ago
- a code coverage tool for racket☆38Updated 10 months ago