Projects in Awesome Lists tagged with core-language
A curated list of projects in awesome lists tagged with core-language .
https://github.com/jespercockx/agda-core
A work-in-progress core language for Agda, in Agda
agda agda-backend core-language dependent-types type-checker
Last synced: 12 Feb 2026
https://github.com/stoverc/datastructuresandalgorithms
From-scratch attempts at implementing some common data structures and algorithms.
algorithm algorithms core-language cpp data-structures data-structures-algorithms data-structures-and-algorithms datastructures java linked-list python study-guide
Last synced: 10 Apr 2026
