aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlex Corcoles <alex@pdp7.net>2023-03-20 18:19:57 +0100
committerGitHub <noreply@github.com>2023-03-20 18:19:57 +0100
commitc4e82554ff5696d46abc83e314814094c38cea86 (patch)
treeda5fd4d5887ac7bdfe45753289f5ef8d35f9855d
parent24bbddd44e399fee798a45ec178ffec6b5a10a77 (diff)
Add djota
-rw-r--r--INTERESTING_PROJECTS.org1
1 files changed, 1 insertions, 0 deletions
diff --git a/INTERESTING_PROJECTS.org b/INTERESTING_PROJECTS.org
index a1797a94..2be42174 100644
--- a/INTERESTING_PROJECTS.org
+++ b/INTERESTING_PROJECTS.org
@@ -38,6 +38,7 @@ Also keeping things in a Org mode means I can classify and add notes.
- https://en.wikipedia.org/wiki/Definite_clause_grammar
- https://github.com/mthom/scryer-prolog/
- https://github.com/rla/prolog-markdown
+ - https://github.com/aarroyoc/djota/tree/main - A Djot parser in Prolog
* CI/CD
- https://github.com/earthly/earthly - Standalone build tool with containers
* Systems