A work-in-progress core language for Agda, in Agda
-
Updated
Jan 15, 2026 - Agda
#
core-language
Here are 5 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
The 100 progressive Go Lang exercises: From variables to advanced concurrency. Master generics, unsafe, profiling, HTTP, and real-world patterns through hands-on tasks
-
Updated
Jan 13, 2026 - Go
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++
Improve this page
Add a description, image, and links to the core-language topic page so that developers can more easily learn about it.
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."