GitHub
collimator
Guide for using Collimator, a profunctor optics library for Lean 4. Use when writing code with lenses, prisms, traversals, or when accessing/modifying nested data structures.
nathanial AI Skills
GitHub ↗Explorez les skills IA publiés de nathanial et consultez leurs instructions source.
Statistiques de l’auteur
Skills indexés
11Étoiles des dépôts des skills indexés
1Forks du dépôt
0Moyenne des étoiles par skill indexé
0Les étoiles d’un dépôt peuvent se répéter entre ses skills.
Catégories populaires
Indexation récente
Explorer
GitHub
ffi-bindings
Create FFI bindings between Lean 4 and C code. Use when working with foreign functions, native libraries, Metal, or system APIs.
GitHub
new-project
Scaffold a new Lean 4 project in the workspace. Use when creating a new project, library, or application.
GitHub
collimator-optics
Use profunctor optics from the Collimator library for Lean 4. Use when working with lenses, prisms, traversals, or nested data access.
GitHub
terminus-apps
Build terminal user interface (TUI) applications using the Terminus library for Lean 4. Use when creating games, interactive tools, or apps with keyboard/mouse input.
GitHub
add-dependency
Add a dependency to a Lean project's lakefile. Use when adding requires, dependencies, or imports to a project.
GitHub
crucible-tests
Write unit tests using the Crucible test framework for Lean 4 projects. Use when creating tests, adding test files, or when the user mentions Crucible, unit tests, or testing Lean code.
GitHub
library-docs
Write prosaic, narrative-style documentation for Lean 4 libraries. Use when creating README files, user guides, tutorials, or comprehensive library documentation.
GitHub
release
Release a Lean project with tier-aware dependency ordering. Use when releasing, versioning, tagging, or publishing a project in the workspace.
GitHub
work-issue
Start working on a tracked issue. Use when beginning work on an issue, logging progress, or managing issue workflow.
GitHub
reactive-frp-frame-semantics
Understanding frame nesting behavior in the Reactive FRP library. Use when: (1) triggers inside callbacks don't seem to propagate, (2) sample returns initial values instead of accumulated values, (3) foldDyn do...
Le classement utilise les étoiles du dépôt GitHub indexé. Plusieurs skills peuvent partager ce nombre : ce n’est ni un nombre d’installations ni une note de qualité.