Cubical Agda library github.com ↗

A library of constructive, cubical type theory mathematics for Agda.

LibraryFrameworks & librarieshomotopy-type-theoryconstructive-maththeorem-proving

Recommended in 1 thread

Classification of Finite Simple Groups Formalized in Lean
cfsg.axiommath.ai · 2 days ago
Offered as evidence that homotopical, constructive foundations are progressing, including constructive real analysis.

CLOG ↗Frameworks & libraries
A Common Lisp framework for building GUIs that render in the browser DOM.
1 thread
zlib-rs ↗Frameworks & libraries
A Rust implementation of zlib.
1 thread
wxWidgets Frameworks & libraries
C++ library for cross-platform GUIs using native widgets.
0 threads
sokol ↗Frameworks & libraries
A set of single-file C libraries including a thin cross-platform 3D API wrapper.
1 thread
TypeGPU ↗Frameworks & libraries
A TypeScript library for type-safe WebGPU programming.
1 thread
WebGPU Frameworks & libraries
A modern cross-platform GPU API for browsers and native code.
1 thread
thiserror Frameworks & libraries
A Rust crate for deriving custom error types.
1 thread
CUID2 Frameworks & libraries
A library for generating secure, collision-resistant, hard-to-guess IDs.
1 thread

Qt
A cross-platform C++ application and GUI framework.
3 threads
Crux ↗
A Rust framework for cross-platform apps with a shared core and native UI shells.
2 threads
Embassy ↗
An async framework for embedded Rust that avoids heap allocation.
2 threads
Svelte ↗
A compiler-based JavaScript UI framework without a virtual DOM.
2 threads
Astro ↗
A content-focused web framework that ships minimal JavaScript and supports islands of interactive UI frameworks.
1 thread
Avalonia UI
Open-source cross-platform .NET UI framework inspired by WPF.
1 thread
CLOG ↗
A Common Lisp framework for building GUIs that render in the browser DOM.
1 thread
CSS Painting API ↗
A CSS Houdini API that lets developers paint element backgrounds and borders with canvas-like code.
1 thread
CUID2
A library for generating secure, collision-resistant, hard-to-guess IDs.
1 thread
D3
A JavaScript library for data-driven visualizations.
1 thread
Delaunay32 ↗
A divide-and-conquer constrained Delaunay triangulator with polygon and hole support.
1 thread
ESP-IDF ↗
Espressif's development framework for ESP32 chips, including an x509 certificate bundle API.
1 thread

Link from a commenter, not checked or endorsed by us: ↗ https://github.com/marcinjangrzybowski/cubical-bis