dada-model

dada-model contains 1 collected skills from dada-lang, with repository-level occupation coverage and site-owned skill detail pages.

dada-lang profile View on GitHub

skills collected

Stars

updated

2026-03-21

Forks

Occupation coverage

Computer Programmers

1 occupation categories · 100% classified

repository explorer

Skills in this repository

creator/repo/skill

skill

occupation

description

updated

formality-core-idioms

computer-programmers

Idiomatic patterns for writing code with formality-core (a-mir-formality). Covers generated constructors, Upcast/UpcastFrom coercions, judgment_fn! macro patterns,

2026-03-21