A work-in-progress core language for Agda, in Agda
-
Updated
Sep 10, 2026 - Agda
#
core-language
Here are 4 public repositories matching this topic...
Symbolic-linguistic method developed by J. William Gill for reconstructing the original conceptual meaning of words using ancient letterforms
cc0 breakdown interpretation scripture-engagement open-methods ancient-languages greek-language independent-research core-language proto-languages hebrew-language symbolic-language akkadian-language independent-repository linguistic-deconstruction biblical-hermeneutics conceptual-analysis letter-by-letter symbolic-interpretation scriptual-analysis
-
Updated
Aug 8, 2025
From-scratch attempts at implementing some common data structures and algorithms.
python java algorithm linked-list algorithms datastructures cpp data-structures study-guide data-structures-algorithms data-structures-and-algorithms core-language
-
Updated
Jul 5, 2023 - C++
Add this topic to your repo
To associate your repository with the core-language topic, visit your repo's landing page and select "manage topics."