#
foundations
Here are 24 public repositories matching this topic...
A powerful yet simple Jekyll template to help progressive grantmakers of all sizes improve their online presence
-
Updated
Jul 12, 2021 - CSS
The Agda Universal Algebra Library (documentation for previous version available at the url below)
-
Updated
Aug 1, 2021 - Agda
-
Updated
May 27, 2021
Results of our analysis on Open Source Foundations
-
Updated
Aug 13, 2021 - Vue
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
Feb 6, 2021 - Python
-
Updated
Feb 16, 2020
This is the more advanced Python repository for growing Clinician_Developers
-
Updated
Dec 14, 2017 - Python
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
An awesome list of Open Source Foundations, Organizations, Funding, Programmes, Conferences and Governance & Templates
-
Updated
Jun 17, 2020
A repo for Vagrant machine
-
Updated
Jul 31, 2017 - Python
Collaborative repo for Big Proof Programme at the Isaac Newton Institute, Jun 26 to Aug 4, 2017
-
Updated
Jun 7, 2017
Math in XO
math
theorem-proving
proofs
formal-verification
interactive-theorem-proving
foundations
automated-theorem-proving
-
Updated
Jun 16, 2021
-
Updated
Dec 15, 2019 - HTML
-
Updated
Nov 24, 2020
-
Updated
Nov 20, 2018 - JavaScript
-
Updated
Jun 6, 2018 - Java
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
modals for team built responsive photo-sharing mobile application (HTML5 / CSS3 / Foundations / Handlebars / node.js)
-
Updated
Nov 1, 2018 - HTML
-
Updated
May 4, 2020 - HTML
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."
There is now a type
circlein UniMath.SyntheticHomotopyTheory.Circle2. It would be great to define pi_1 of a pointed type, and to show that pi_1(circle, pt) \simeq Z.