métier
Développeurs web
description
Comprehensive Elm functional programming for web development including The Elm Architecture, type system, JavaScript interop, and production-ready patterns
Langue du texte source : anglais
mis à jour
manutej/fstar-labs
SkillsMP a collecté 3 skills depuis manutej/fstar-labs. Ouvrez un skill pour examiner sa source et ses détails.
- Dernière activité source enregistrée
- Catalogue SkillsMP mis à jour
- skills collectés
- 3
- Étoiles GitHub
- 0
- Forks GitHub
- 0
Skills dans ce dépôt
2 catégories métier · 100% classifié
Affichage de 3 skills collectés sur 3.
skill
métier
description
mis à jour
métier
Développeurs de logiciels
description
Master the Purify library for practical functional programming in TypeScript with algebraic data types (Maybe, Either, EitherAsync, MaybeAsync), composable error handling, data transformations, Codec for runtime type safety, List operations, Tuple utilities,…
Langue du texte source : anglais
mis à jour
métier
Développeurs de logiciels
description
Comprehensive F* proof-oriented programming for formal verification including dependent types, refinement types, effect system, SMT solver integration, tactic-based interactive theorem proving, and verified code extraction to OCaml, F#, C, WebAssembly, and…
Langue du texte source : anglais
mis à jour
Affichage de 3 skills collectés sur 3.