Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Correct Behavior Through Type Safety

Talk about using types to prove correctness
Stars
15
License
other
Open Issues
0
Most Recent Commit
9 years ago
Programming Language
Swift
Categories
Site
Repo
Alternatives To Correct Behavior Through Type Safety
Select To Compare
Ts Toolbelt ⭐ 6,011
👷 TypeScript's largest type utility library
dependent packages 973total releases 928most recent commit a year agonpm ts-toolbelt} Downloads
Slonik ⭐ 4,154
A Node.js PostgreSQL client with runtime and build time type safety, and composable SQL.
dependent packages 88total releases 340most recent commit 6 months agonpm slonik} Downloads
Returns ⭐ 3,083
Make your functions return something meaningful, typed, and safe!
dependent packages 58total releases 23most recent commit 4 months agopypi returns} Downloads
Pgtyped ⭐ 2,700
pgTyped - Typesafe SQL in TypeScript
dependent packages 7total releases 33most recent commit 3 months agonpm @pgtyped/wire} Downloads
Hegel ⭐ 2,087
An advanced static type checker
dependent packages 4total releases 42most recent commit 6 months agonpm @hegel/cli} Downloads
Jet ⭐ 1,698
Type safe SQL builder with code generation and automatic query result data mapping
dependent packages 5total releases 32most recent commit 5 months ago
Undux ⭐ 1,491
⚡️ Dead simple state for React. Now with Hooks support.
dependent packages 6total releases 64most recent commit 6 months agonpm undux} Downloads
Purify ⭐ 1,462
Functional programming library for TypeScript - https://gigobyte.github.io/purify/
dependent packages 52total releases 40most recent commit 4 months agonpm purify-ts} Downloads
Dry Validation ⭐ 1,294
Validation library with type-safe schemas and rules
dependent packages 164total releases 69most recent commit 7 months agorubygems dry-validation} Downloads


Suggest An Alternative To correct-behavior-through-type-safety
Popular Compilers Categories
Llvm
Abstract Syntax Tree
Gcc
Clang
Emscripten
Wsl
Lexer
Jit
Ghc
Ida

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Swift
Types
Type Safety
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.