This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.
-
Updated
May 4, 2026 - Rocq Prover
#
foundations
Here are 89 public repositories matching this topic...
The Agda Universal Algebra Library (html docs available at the url below)
-
Updated
May 12, 2026 - Python
Bincode-next: The next official rust implementation of bincode
-
Updated
May 4, 2026 - Rust
📚 A curated collection of timeless software engineering books, articles, and principles from before 2010. Perfect for mastering the foundations of software development.
books articles computerscience foundations softwaredevelopment bestpractices softwareengineering timelessresources pre2010 engineeringprinciples codingprinciples developmentculture legacyknowledge classicreads
-
Updated
Dec 18, 2024
Directory of non-profit FOSS Foundations, with detailed metadata.
-
Updated
Nov 29, 2025 - HTML
A structured learning path for software engineers to master Large Language Models through theory, practical exercises, and project implementation.
-
Updated
Sep 12, 2025
-
Updated
Apr 17, 2026 - Shell
A powerful yet simple Jekyll template to help progressive grantmakers of all sizes improve their online presence
-
Updated
Apr 17, 2023 - CSS
Shit.For.Founders that are looking for early stage funding
-
Updated
Jan 15, 2026 - TeX
An awesome list of Open Source Foundations, Organizations, Funding, Programmes, Conferences and Governance & Templates
-
Updated
Jun 17, 2020
Preparatório para o exame de certificação Oracle Cloud Infrastructure Foundations Associate
cloud oracle oci oracle-cloud foundations associate oracle-cloud-infrastructure certificacao bondedooci 1z0-1085
-
Updated
Feb 26, 2022
Foundation Shades Across the Globe App. Cosmetics data visualization dashboard built with Dash for studying the best selling brands across US, Japan, Indian, and Nigeria.
python data-science select dashboard slider plotly data-visualization dropdown hover dash webapp barchart data-analysis cosmetics foundations radiobutton makeup
-
Updated
Oct 13, 2021 - Python
A comprehensive study guide for the GitHub Foundations Certification exam to help your preparation to get certified
-
Updated
Apr 28, 2025
This repository contains example algorithms designed for the Algorithmics course taught at the School of Computer Science, University of Oviedo.
parallel-computing backtracking sorting-algorithms greedy-algorithms branch-and-bound foundations divide-and-conquer dinamic-programming
-
Updated
May 14, 2026 - Java
Results of our analysis on Open Source Foundations
-
Updated
Feb 28, 2024 - Vue
A description about the project
github template repository example project how-to tidy hierarchy getting-started file-structure for-beginners foundations directory-structure for-anyone changelog-md code-of-conduct-md contributing-md readme-md organized should-fork
-
Updated
Nov 4, 2018 - HTML
The Odin project's foundation project for The flex box model
flex flexible flexbox flexbox-css flex-layout odin odin-project foundations css-flexbox flexbox-layout
-
Updated
Nov 9, 2021 - CSS
-
Updated
Dec 31, 2022 - Python
Oded Goldreich's Foundations of Cryptography Errata edited in a LaTeX document
-
Updated
Nov 13, 2021 - TeX
Improve this page
Add a description, image, and links to the foundations topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the foundations topic, visit your repo's landing page and select "manage topics."