| author | Chengsong |
| Thu, 10 Mar 2022 11:18:41 +0000 | |
| changeset 445 | e072cfc2f2ee |
| parent 81 | 7ac7782a7318 |
| permissions | -rw-r--r-- |
|
78
279d0bc48308
updated the Isabelle theories with the totality proof
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
1 |
https://swtch.com/~rsc/regexp/ |
|
81
7ac7782a7318
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
78
diff
changeset
|
2 |
https://wiki.haskell.org/Regex_Posix |
|
7ac7782a7318
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
78
diff
changeset
|
3 |
|
|
7ac7782a7318
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
78
diff
changeset
|
4 |
Sulzmann |
|
7ac7782a7318
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
78
diff
changeset
|
5 |
-------- |
|
7ac7782a7318
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
78
diff
changeset
|
6 |
http://www.home.hs-karlsruhe.de/~suma0002/publications/posix-derivatives.pdf |
|
7ac7782a7318
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
78
diff
changeset
|
7 |
|
|
7ac7782a7318
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
78
diff
changeset
|
8 |
|
|
7ac7782a7318
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
78
diff
changeset
|
9 |
Matt Might lexers |
|
7ac7782a7318
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
78
diff
changeset
|
10 |
----------------- |
|
7ac7782a7318
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
78
diff
changeset
|
11 |
http://matt.might.net/articles/lexers-in-racket/ |
|
7ac7782a7318
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
78
diff
changeset
|
12 |
http://matt.might.net/articles/parsing-bibtex/ |
|
7ac7782a7318
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
78
diff
changeset
|
13 |
http://matt.might.net/articles/nonblocking-lexing-toolkit-based-on-regex-deriva |
|
7ac7782a7318
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
78
diff
changeset
|
14 |
|
|
7ac7782a7318
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
78
diff
changeset
|
15 |
Uncool compiler |
|
7ac7782a7318
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
78
diff
changeset
|
16 |
--------------- |
|
7ac7782a7318
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
78
diff
changeset
|
17 |
https://github.com/jsnider3/Scales |
|
7ac7782a7318
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
78
diff
changeset
|
18 |
http://jsnider3.github.io/update/scala/uncool/compiler/2015/06/11/uncool-in-scala/ |