This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
-
Updated
Jul 24, 2024 - Coq
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)
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.
Etch-A-Sketch is an interactive game built with HTML, CSS, and JavaScript, allowing users to draw on the screen with the mouse.
A powerful yet simple Jekyll template to help progressive grantmakers of all sizes improve their online presence
Sample Landing Page Assignment from The Odin Project
Foundations Computation 编程辅导, Code Help, WeChat: powcoder, CS tutor, powcoder@163.com
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."