Practical Automation for Ends, Coends, and Kan Extensions in Lean 4
-
Updated
Apr 3, 2026 - Lean
#
ends
Here are 8 public repositories matching this topic...
Electrical Engineering research work
facts rin feeder ris incidents asset-management ends interconnection load-flow minimal-power-losses bus-bars
-
Updated
Jul 14, 2022
If you have any feature requests or bugs for my commercial products please create an issue in this repo
-
Updated
Jan 8, 2023
A Template/Rendering Engine for Web developers
-
Updated
Jan 29, 2022 - PHP
Improve this page
Add a description, image, and links to the ends topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the ends topic, visit your repo's landing page and select "manage topics."