occupation
Web Developers
description
Comprehensive Elm functional programming for web development including The Elm Architecture, type system, JavaScript interop, and production-ready patterns
updated
manutej/fstar-labs
SkillsMP has collected 3 skills from manutej/fstar-labs. Open a skill to review its source and details.
- Latest recorded source activity
- SkillsMP catalog refreshed
- skills collected
- 3
- GitHub stars
- 0
- GitHub forks
- 0
Skills in this repository
2 occupation categories · 100% classified
Showing 3 of 3 collected skills.
skill
occupation
description
updated
occupation
Software Developers
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,…
updated
occupation
Software Developers
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…
updated
Showing 3 of 3 collected skills.