Projects in Awesome Lists tagged with type-providers
A curated list of projects in awesome lists tagged with type-providers .
https://github.com/manifold-systems/manifold
Manifold is a Java compiler plugin, its features include Metaprogramming, Properties, Extension Methods, Operator Overloading, Templates, a Preprocessor, and more.
android-studio delegation duck-typing extension-methods graphql graphql-java intellij java java-development java-sql java-tooling js-java-interoperability json manifold metaprogramming preprocessor reflection-framework structural-typing template-engine type-providers
Last synced: 13 May 2025
https://github.com/travisbrown/type-provider-examples
Macro-based type providers for Scala (examples)
Last synced: 25 Mar 2025
https://github.com/propensive/polyvinyl
Typesafe record types for Scala
record-types scala schemas type-providers typesafe-schemas
Last synced: 03 Sep 2025
https://github.com/jkone27/fsharp.data.mutator
Enables to create copies (similar to lenses) to generated FSharp.Data types (json only for now)
fsharp fsharp-data json type-providers
Last synced: 07 May 2025
https://github.com/gallais/idris-tmustache
Total Logic-Less Templating Library
dependent-types template-engine type-providers
Last synced: 06 Jan 2026
https://github.com/mgajda/xml-typelift
XML TypeLift will allow to use XML Schema to create Haskell data type and parser for it
haskell type-providers xml-schema
Last synced: 17 Jun 2025
https://github.com/janschultecom/kolgut-api
Schema-safe http api using Idris+Rust
dependent-types http idris rust swagger type-providers typelevel-programming
Last synced: 14 Mar 2025
https://github.com/71/staticprovider
[Does not work yet] F# + type providers + black magic = meta-programming.
fsharp metaprogramming type-providers
Last synced: 10 Sep 2025
