This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
-
Updated
May 30, 2024 - Coq
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)
An Entire Web Page From a Design
An On-Screen Calculator
Something Between a Sketchpad and an Etch-A-Sketch
An Implementation of Rock Paper Scissors
Directory of non-profit FOSS Foundations, with detailed metadata.
A Basic Recipe Website
Intensive practical training courses taught by a software expert with 30 years of experience.
Results of our analysis on Open Source Foundations
All of 'em. Colors, typography, spacings and effects.
🚀 Repository containing C++ exercises on fundamental programming principles completed during university. Explore and enhance your programming skills!
A simple sample applying graphql code first approach with NESTJS
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.
Add a description, image, and links to the foundations topic page so that developers can more easily learn about it.
To associate your repository with the foundations topic, visit your repo's landing page and select "manage topics."