76 results for “topic:foundations”
This rocq 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.
Bincode-next: The next official rust implementation of bincode
A structured learning path for software engineers to master Large Language Models through theory, practical exercises, and project implementation.
No description provided.
A powerful yet simple Jekyll template to help progressive grantmakers of all sizes improve their online presence
📚 A curated collection of timeless software engineering books, articles, and principles from before 2010. Perfect for mastering the foundations of software development.
Shit.For.Founders that are looking for early stage funding
An awesome list of Open Source Foundations, Organizations, Funding, Programmes, Conferences and Governance & Templates
Preparatório para o exame de certificação Oracle Cloud Infrastructure Foundations Associate
A comprehensive study guide for the GitHub Foundations Certification exam to help your preparation to get certified
Results of our analysis on Open Source Foundations
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.
A description about the project
X4 Foundations modding
Oded Goldreich's Foundations of Cryptography Errata edited in a LaTeX document
No description provided.
The Odin project's foundation project for The flex box model
This is the more advanced Python repository for growing Clinician_Developers
About the group.
X4 Black Marketeer Unlocker is a .NET 8 console application designed to modify your X4: Foundations save file, instantly unlocking all black marketeers. The tool safely creates a backup of your save file before making any changes, ensuring your original data is preserved.
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.
Paper establishing that for an ontological substrate to remain neutral and stable under allowable frameworks that include persistent disagreement, causal or normative commitments cannot be part of the substrate itself.
Lean 4 formalization of the necessary and sufficient identity-and-persistence regimes for neutral accountability substrates.
A professionally curated archive of 8th‑semester academic projects, showcasing foundational engineering concepts and early‑stage software prototypes for historical reference.
New UI foundations
No description provided.
Etch-A-Sketch is an interactive game built with HTML, CSS, and JavaScript, allowing users to draw on the screen with the mouse.
Lean 4 formalization of the Ontological Neutrality Theorem