regular-type-expression

Quickdocs

regular-type-expression

2020-02-18

No Description

Upstream URL

gitlab.lrde.epita.fr/jnewton/regular-type-expression

Author

Jim Newton

License

MIT

README

Provided Systems

2d-array

Extensible sequence classes to represent vertical and horizontal slices of 2d arrays

Version:

1.1.14

License:

MIT

Authors:

Jim Newton

Dependencies:

None

2d-array-test

Testing code for 2d-array package/system

Version:

1.1.14

License:

MIT

Authors:

Jim Newton

Dependencies:

2d-array
scrutiny

adjuvant

Various utility functions and macros used in several packages.

Version:

1.1.14

License:

MIT

Authors:

Jim Newton

Dependencies:

sb-posix
#+"sbcl"

adjuvant-test

Test cases for adjuvant package/system

Version:

1.1.14

License:

MIT

Authors:

Jim Newton

Dependencies:

adjuvant
scrutiny

cl-robdd

a CL implementation of Reduced Ordered Binary Decision Diagrams, ROBDD

Version:

1.1.14

License:

MIT

Authors:

Jim Newton

Dependencies:

adjuvant

cl-robdd-analysis

Code for generating plots and analysis in PhD thesis regarding cl-robdd package/system

Version:

1.1.14

License:

MIT

Authors:

Jim Newton

Dependencies:

adjuvant
cl-fad
cl-robdd
sb-posix
#+"sbcl"
sb-sprof
#+"sbcl"

cl-robdd-analysis-test

Test cases for cl-robdd-analysis package/system

Version:

1.1.14

License:

MIT

Authors:

Jim Newton

Dependencies:

adjuvant
cl-robdd-analysis
scrutiny

cl-robdd-test

Test cases for cl-robdd package/system

Version:

1.1.14

License:

MIT

Authors:

Jim Newton

Dependencies:

adjuvant
cl-fad
cl-robdd
scrutiny

dispatch

Implementation of the function `SPECIALIZER-INTERSECTION`

Version:

1.1.14

License:

MIT

Authors:

Jim Newton

Dependencies:

adjuvant
closer-mop

dispatch-test

Test cases for :dispatch

Version:

1.1.14

License:

MIT

Authors:

Jim Newton

Dependencies:

dispatch
scrutiny

lisp-types

Lisp type reduction utilities, and CL type-system compatible ROBDD implementation

Version:

1.1.14

License:

MIT

Authors:

Jim Newton

Dependencies:

adjuvant
cl-robdd
dispatch

lisp-types-analysis

Analysis code used in PhD research of lisp type reduction using s-expressions and ROBDDs

Version:

1.1.14

License:

MIT

Authors:

Jim Newton

Dependencies:

adjuvant
cl-fad
cl-robdd
cl-robdd-analysis
lisp-types
scrutiny

lisp-types-test

Test cases for :lisp-types

Version:

1.1.14

License:

MIT

Authors:

Jim Newton

Dependencies:

adjuvant
bordeaux-threads
closer-mop
lisp-types
lisp-types-analysis
scrutiny

ndfa

Implementation of non-deterministed finite automata

Version:

1.1.14

License:

MIT

Authors:

Jim Newton

Dependencies:

adjuvant

ndfa-test

Test cases for ndfa package/system

Version:

1.1.14

License:

MIT

Authors:

Jim Newton

Dependencies:

adjuvant
ndfa
scrutiny

research

Top level package which loads everything to do analsis in PhD research

Version:

1.1.14

License:

MIT

Authors:

Jim Newton

Dependencies:

2d-array-test
#+"sbcl"
adjuvant
adjuvant-test
dispatch-test
ndfa-test
rte-regexp-test
rte-test
scrutiny
scrutiny-test

rte

Regular type expressions implementation

Version:

1.1.14

License:

MIT

Authors:

Jim Newton

Dependencies:

adjuvant
lisp-types
ndfa

rte-regexp

Simple string regular expression matcher based on rte

Version:

1.1.14

License:

MIT

Authors:

Jim Newton

Dependencies:

adjuvant
rte
yacc

rte-regexp-test

Test cases for rte-regexp

Version:

1.1.14

License:

MIT

Authors:

Jim Newton

Dependencies:

adjuvant
rte
rte-regexp
scrutiny

rte-test

Test cases for rte package/system

Version:

1.1.14

License:

MIT

Authors:

Jim Newton

Defsystem Dependencies:

Dependencies:

2d-array
#+"sbcl"
2d-array-test
#+"sbcl"
adjuvant
lisp-types-test
ndfa-test
rte-regexp-test
scrutiny

scrutiny

Unit Test Facility, similar but simpler then lisp-unit. Slime-compatible

Version:

1.1.14

License:

MIT

Authors:

Jim Newton

Dependencies:

adjuvant

scrutiny-test

Test cases for scrutiny package

Version:

1.1.14

License:

MIT

Authors:

Jim Newton

Dependencies:

scrutiny