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.

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.

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 structured learning path for software engineers to master Large Language Models through theory, practical exercises, and project implementation.

A description about the project

X4 Foundations modding

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

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.