Compile Time Verification
3 projects
Showing 3 of 3 projects
Absinthe GraphqlElixir
A complete, idiomatic GraphQL implementation for Elixir with compile-time schema verification and advanced resolution features.
#elixir#api#relay
Stars4.4k
Forks555
Last commit3 days ago
Dataflow FrameworkJava
A pluggable type-checking framework for Java that detects and prevents bugs through custom type qualifiers.
#null-safety#compiler-plugin#bug-detection
Stars1.1k
Forks438
Last commit3 days ago
idris-type-providersIdris
A type provider library for Idris that enables compile-time verification of external data like SQLite queries.
#database#type-providers#idris
Stars96
Forks6
Last commit8 years ago
Community-curated · Updated weekly · 100% open source
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.