This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
-
Updated
Nov 18, 2022 - Coq
#
foundations
Here are 33 public repositories matching this topic...
The Agda Universal Algebra Library (html docs available at the url below)
-
Updated
Oct 10, 2022 - Agda
A powerful yet simple Jekyll template to help progressive grantmakers of all sizes improve their online presence
-
Updated
Oct 5, 2022 - CSS
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
-
Updated
Jul 9, 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
An awesome list of Open Source Foundations, Organizations, Funding, Programmes, Conferences and Governance & Templates
-
Updated
Jun 17, 2020
Results of our analysis on Open Source Foundations
-
Updated
Nov 10, 2022 - 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
Feb 16, 2020
Assignment by Amanda Windsor for Programming and Problem Solving I 2021. Grade: Distinction
-
Updated
Jul 12, 2022 - Python
This is the more advanced Python repository for growing Clinician_Developers
-
Updated
Dec 14, 2017 - Python
modals for team built responsive photo-sharing mobile application (HTML5 / CSS3 / Foundations / Handlebars / node.js)
-
Updated
Nov 1, 2018 - HTML
Collaborative repo for Big Proof Programme at the Isaac Newton Institute, Jun 26 to Aug 4, 2017
-
Updated
Jun 7, 2017
Oded Goldreich's Foundations of Cryptography Errata edited in a LaTeX document
-
Updated
Nov 13, 2021 - TeX
Foundations of Computer Science 2015/2016 - BSc Computer Science Engineering, University of Rome Tor Vergata
-
Updated
Jul 25, 2017 - Python
-
Updated
Jun 6, 2019 - Swift
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."