foundations

This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.

📚 A curated collection of timeless software engineering books, articles, and principles from before 2010. Perfect for mastering the foundations of software development.

HTML-to-PDF document generation for Swift.

Bincode-next: The next rust implementation of bincode

The Agda Universal Algebra Library (html docs available at the url below)

Type-safe HTML generation grounded in WHATWG and W3C specifications for Swift.

Directory of non-profit FOSS Foundations, with detailed metadata.

File system operations with a typed File value type, atomic writes, and directory traversal for Swift.

A high-performance async I/O executor for Swift.

A structured learning path for software engineers to master Large Language Models through theory, practical exercises, and project implementation.

Type-safe, high-level PostgreSQL database abstraction built on StructuredQueries and PostgresNIO for Swift.

A powerful yet simple Jekyll template to help progressive grantmakers of all sizes improve their online presence

Cloud foundation patterns, guardrails, and reusable assets from TATA Consulting Services

Shit.For.Founders that are looking for early stage funding

An awesome list of Open Source Foundations, Organizations, Funding, Programmes, Conferences and Governance & Templates

A comprehensive study guide for the GitHub Foundations Certification exam to help your preparation to get certified

Android mobile development foundation module. Establishing core concepts of application structure, UI components, and the Android SDK environment. Demonstrating the initial step in mobile application engineering.

Preparatório para o exame de certificação Oracle Cloud Infrastructure Foundations Associate

Thread-safe process environment variable access with task-local overlays for Swift.