Projects in Awesome Lists tagged with foundations
A curated list of projects in awesome lists tagged with foundations .
https://github.com/unimath/unimath
This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.
coq coq-library foundations mathematics rocq rocq-library unimath
Last synced: 14 May 2025
https://github.com/UniMath/UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
coq coq-library foundations mathematics unimath
Last synced: 03 Apr 2025
https://github.com/jawherkl/llm-foundations
A structured learning path for software engineers to master Large Language Models through theory, practical exercises, and project implementation.
Last synced: 16 Sep 2025
https://github.com/coledixon/reponsive_photosharing_mobile_app
modals for team built responsive photo-sharing mobile application (HTML5 / CSS3 / Foundations / Handlebars / node.js)
css foundations handlebars html mobile-app
Last synced: 03 May 2026
https://github.com/newdesignfile/foundations
A semantic, BEM-based UI framework
colors design design-system desktop effects foundations mobile spacings typography ui-design
Last synced: 14 Apr 2025
https://github.com/structural-explainability/paper-100-neutral-substrate
Paper establishing that for an ontological substrate to remain neutral and stable under allowable frameworks that include persistent disagreement, causal or normative commitments cannot be part of the substrate itself.
academic-paper accountability causal deontic explainability formal-ontology foundations latex neutrality-constraints neutrality-theorem ontological-neutrality structural-explainability substrate-stability
Last synced: 02 May 2026
https://github.com/strake/category.agda
Formulation of category theory in Agda
category-theory foundations mathematical-foundations-of-informatics mathematics
Last synced: 05 Feb 2026
https://github.com/jonathan-vella/saif
A 3-tier diagnostic application designed for hands-on learning about securing AI systems across identity, network, application, and content safety domains.
ai azure content-safety foundations responsible-ai security zero-trust
Last synced: 14 May 2026
https://github.com/johnfromspace/foundations-in-programming-in-cpp-
This is a repo that has many basic functions and tasks for many university and school projets that can be used for learning C++. To be updated.
cplusplus cplusplus-14 examination foundations functions programming-exercises programming-fundamentals school-assignment study-materials university-assignment
Last synced: 03 Sep 2025
https://github.com/salgado2004/github_foundations_exam_prep
GitHub Foundations study guide to help your preparation to get certified
certification community foundations github study-resources
Last synced: 01 Apr 2025
