GitHub topics: type-providers
manifold-systems/manifold
Manifold is a Java compiler plugin, its features include Metaprogramming, Properties, Extension Methods, Operator Overloading, Templates, a Preprocessor, and more.
Language: Java - Size: 124 MB - Last synced at: 6 days ago - Pushed at: 11 days ago - Stars: 2,536 - Forks: 127
propensive/polyvinyl
Typesafe record types for Scala
Language: Scala - Size: 2.3 MB - Last synced at: 8 days ago - Pushed at: 4 months ago - Stars: 21 - Forks: 1
jkone27/FSharp.Data.Mutator
Enables to create copies (similar to lenses) to generated FSharp.Data types (json only for now)
Language: F# - Size: 31.3 KB - Last synced at: 13 days ago - Pushed at: almost 2 years ago - Stars: 15 - Forks: 0
gallais/idris-tmustache
Total Logic-Less Templating Library
Language: Idris - Size: 56.6 KB - Last synced at: about 2 months ago - Pushed at: over 7 years ago - Stars: 13 - Forks: 1
jkone27/string-provider-test
test creating a type provider
Language: F# - Size: 613 KB - Last synced at: about 2 months ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0
DataHaskell/type-providers
Type providers for Haskell: plans and shared interfaces
Language: Haskell - Size: 19.5 KB - Last synced at: 7 months ago - Pushed at: about 7 years ago - Stars: 8 - Forks: 2
mgajda/xml-typelift
XML TypeLift will allow to use XML Schema to create Haskell data type and parser for it
Language: Haskell - Size: 818 KB - Last synced at: about 1 month ago - Pushed at: about 1 year ago - Stars: 3 - Forks: 3
Liminiens/json-provider
Generative json type provider
Language: F# - Size: 1.63 MB - Last synced at: about 1 month ago - Pushed at: about 6 years ago - Stars: 11 - Forks: 2
chrisnorris/SoccerProvider
Expose BBC sport soccer results page as a type provider using F# Data's HTML Parser
Language: F# - Size: 75.2 KB - Last synced at: almost 2 years ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 1
rkoeninger/Trilogy
Static analysis and type generation for simple SQL
Language: F# - Size: 94.7 KB - Last synced at: almost 2 years ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0
aggieben/ConstrainedTypes
A set of type providers for F# that aims to implement an approximation of refinement types.
Language: F# - Size: 66.4 KB - Last synced at: about 2 years ago - Pushed at: almost 5 years ago - Stars: 1 - Forks: 0
bigby-the-wolf/WebApiTest
Sustainable Web API written in F# that showcases the language's strengths via a functional style.
Language: F# - Size: 60.5 KB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 46 - Forks: 3
afractal/EnvironmentVariableProvider 📦
:smoking: Type provider for getting environment variables.
Language: F# - Size: 161 KB - Last synced at: 23 days ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0
travisbrown/type-provider-examples
Macro-based type providers for Scala (examples)
Language: Scala - Size: 492 KB - Last synced at: about 1 month ago - Pushed at: over 9 years ago - Stars: 85 - Forks: 12
miklund/inquiry
inRiver Type Provider
Language: F# - Size: 272 KB - Last synced at: 2 days ago - Pushed at: about 7 years ago - Stars: 2 - Forks: 1
veepee-oss/Vp.FSharp.TypeProviders
F# Type Providers
Size: 5.86 KB - Last synced at: 3 months ago - Pushed at: almost 4 years ago - Stars: 1 - Forks: 0
B1tF8er/type-providers-workshop
Workshop material for F# type providers
Language: F# - Size: 80.1 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
Lleutch/ConstraintTP
Constraint Type provider is a Type provider that provides constraints over F# Types.
Language: F# - Size: 57.6 KB - Last synced at: about 2 years ago - Pushed at: almost 8 years ago - Stars: 12 - Forks: 0
janschultecom/kolgut-api
Schema-safe http api using Idris+Rust
Language: Idris - Size: 21.5 KB - Last synced at: 10 months ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0
Wkalmar/LastFmArtistGetter
Sandbox for F# concepts
Language: F# - Size: 13.7 KB - Last synced at: 10 months ago - Pushed at: about 6 years ago - Stars: 1 - Forks: 1
71/StaticProvider
[Does not work yet] F# + type providers + black magic = meta-programming.
Language: F# - Size: 12.7 KB - Last synced at: 7 days ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0
95ulisse/FsCPS
F# bindings and type providers for the Control Plane Services API.
Language: F# - Size: 413 KB - Last synced at: 26 days ago - Pushed at: about 7 years ago - Stars: 1 - Forks: 1
ksmirenko/Brahma.FSharp Fork of YaccConstructor/Brahma.FSharp
F# quotation to OpenCL translator. Based on Brahma library.
Language: F# - Size: 60 MB - Last synced at: about 1 month ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0
ksmirenko/type-providers
A sandbox for F# type providers.
Language: F# - Size: 187 KB - Last synced at: about 1 month ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 1