Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
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: 121 MB - Last synced: 4 days ago - Pushed: 4 days ago - Stars: 2,240 - Forks: 121
propensive/polyvinyl
Typesafe record types for Scala
Language: Scala - Size: 1.89 MB - Last synced: 24 days ago - Pushed: 24 days ago - Stars: 18 - Forks: 1
Liminiens/json-provider
Generative json type provider
Language: F# - Size: 1.63 MB - Last synced: 25 days ago - Pushed: about 5 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: 9 months ago - Pushed: over 5 years ago - Stars: 1 - Forks: 1
rkoeninger/Trilogy
Static analysis and type generation for simple SQL
Language: F# - Size: 94.7 KB - Last synced: 10 months ago - Pushed: almost 5 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: about 1 year ago - Pushed: almost 4 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: about 1 year ago - Pushed: about 2 years ago - Stars: 46 - Forks: 3
afractal/EnvironmentVariableProvider 📦
:smoking: Type provider for getting environment variables.
Language: F# - Size: 161 KB - Last synced: about 2 months ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0
travisbrown/type-provider-examples
Macro-based type providers for Scala (examples)
Language: Scala - Size: 492 KB - Last synced: 22 days ago - Pushed: over 8 years ago - Stars: 85 - Forks: 13
miklund/inquiry
inRiver Type Provider
Language: F# - Size: 272 KB - Last synced: 25 days ago - Pushed: about 6 years ago - Stars: 2 - Forks: 1
mgajda/xml-typelift
XML TypeLift will allow to use XML Schema to create Haskell data type and parser for it
Language: Haskell - Size: 813 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 3 - Forks: 3
DataHaskell/type-providers
Type providers for Haskell: plans and shared interfaces
Language: Haskell - Size: 19.5 KB - Last synced: about 2 months ago - Pushed: about 6 years ago - Stars: 7 - Forks: 2
veepee-oss/Vp.FSharp.TypeProviders
F# Type Providers
Size: 5.86 KB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 1 - Forks: 0
gallais/idris-tmustache
Total Logic-Less Templating Library
Language: Idris - Size: 56.6 KB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 12 - Forks: 2
B1tF8er/type-providers-workshop
Workshop material for F# type providers
Language: F# - Size: 80.1 KB - Last synced: about 1 year ago - Pushed: over 3 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: about 1 year ago - Pushed: almost 7 years ago - Stars: 12 - Forks: 0
janschultecom/kolgut-api
Schema-safe http api using Idris+Rust
Language: Idris - Size: 21.5 KB - Last synced: 2 months ago - Pushed: over 5 years ago - Stars: 1 - Forks: 0
Wkalmar/LastFmArtistGetter
Sandbox for F# concepts
Language: F# - Size: 13.7 KB - Last synced: about 1 year ago - Pushed: about 5 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: about 1 year ago - Pushed: over 6 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: 26 days ago - Pushed: about 6 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: about 1 year ago - Pushed: almost 7 years ago - Stars: 0 - Forks: 0
ksmirenko/type-providers
A sandbox for F# type providers.
Language: F# - Size: 187 KB - Last synced: about 1 year ago - Pushed: about 6 years ago - Stars: 0 - Forks: 1