This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

The Agda Universal Algebra Library (html docs available at the url below)

Directory of non-profit FOSS Foundations, with detailed metadata.

A powerful yet simple Jekyll template to help progressive grantmakers of all sizes improve their online presence

Preparatório para o exame de certificação Oracle Cloud Infrastructure Foundations Associate

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.

An awesome list of Open Source Foundations, Organizations, Funding, Programmes, Conferences and Governance & Templates

Results of our analysis on Open Source Foundations

A description about the project

X4 Foundations modding

Oded Goldreich's Foundations of Cryptography Errata edited in a LaTeX document

The Odin project's foundation project for The flex box model

Application Framework for HDF (Healthcare Data Foundation) is intended to be a place where ANY applications that can process data can reside. Most commonly used here in healthcare are assets for dynamic routing, terminology processing, data tagging, and these type of activities.

This is the more advanced Python repository for growing Clinician_Developers

About the group.

modals for team built responsive photo-sharing mobile application (HTML5 / CSS3 / Foundations / Handlebars / node.js)

Etch-A-Sketch is an interactive game built with HTML, CSS, and JavaScript, allowing users to draw on the screen with the mouse.