-
Updated
Jun 2, 2024
foundations
Here are 55 public repositories matching this topic...
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
-
Updated
Jun 2, 2024 - Coq
The Agda Universal Algebra Library (html docs available at the url below)
-
Updated
May 24, 2024 - Agda
Directory of non-profit FOSS Foundations, with detailed metadata.
-
Updated
May 16, 2024 - HTML
An Entire Web Page From a Design
-
Updated
May 11, 2024 - CSS
An On-Screen Calculator
-
Updated
May 5, 2024 - JavaScript
Something Between a Sketchpad and an Etch-A-Sketch
-
Updated
May 5, 2024 - JavaScript
-
Updated
Apr 28, 2024 - CSS
An Implementation of Rock Paper Scissors
-
Updated
Apr 17, 2024 - JavaScript
A Basic Recipe Website
-
Updated
Apr 12, 2024 - HTML
Intensive practical training courses taught by a software expert with 30 years of experience.
-
Updated
Mar 13, 2024 - C++
Results of our analysis on Open Source Foundations
-
Updated
Feb 28, 2024 - Vue
All of 'em. Colors, typography, spacings and effects.
-
Updated
Jan 19, 2024 - SCSS
🚀 Repository containing C++ exercises on fundamental programming principles completed during university. Explore and enhance your programming skills!
-
Updated
Nov 26, 2023 - C++
A simple sample applying graphql code first approach with NESTJS
-
Updated
Nov 3, 2023 - TypeScript
-
Updated
Sep 29, 2023 - Nix
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.
-
Updated
Jul 29, 2023 - Java
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."