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

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

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

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

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.

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.

Results of our analysis on Open Source Foundations

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

This is the more advanced Python repository for growing Clinician_Developers

X4 Foundations modding

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

🚀 Repository containing C++ exercises on fundamental programming principles completed during university. Explore and enhance your programming skills!

JavaScript Foundations_ProjectOne

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

Formulation of category theory in Agda