职业分类
网页开发工程师
描述
Comprehensive Elm functional programming for web development including The Elm Architecture, type system, JavaScript interop, and production-ready patterns
原文语言：英语
更新
manutej/fstar-labs
SkillsMP 已收集 manutej/fstar-labs 中的 3 个 Skill。打开任一 Skill 可查看来源和详情。
- 最近记录的来源活动
- SkillsMP 收录数据更新
- 已收集 skills
- 3
- GitHub 星标
- 0
- GitHub Forks
- 0
已展示 3 / 3 个已收集 Skill。
skill
职业分类
描述
更新
职业分类
软件开发工程师
描述
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,…
原文语言：英语
更新
职业分类
软件开发工程师
描述
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…
原文语言：英语
更新
已展示 3 / 3 个已收集 Skill。