idris-type-providers
Type provider library
A type provider library for Idris that provides a way to integrate external data sources into the Idris programming language.
Type provider library for Idris
94 stars
9 watching
6 forks
Language: Idris
last commit: over 7 years ago
Linked from 1 awesome list
joaomilho/awesome-idrisRelated projects:
| Repository | Description | Stars |
|---|---|---|
| david-christiansen/idrissqlite | Provides type-safe bindings and tools for Idris to interact with SQLite databases. | 41 |
 uwap/idris-http | An HTTP library for Idris | 40 |
 idris-industry/ikan | A package manager and build tool for Idris, enabling easy management of packages and projects with a focus on simplicity and flexibility. | 34 |
 fsprojects/fsharp.typeproviders.sdk | An F# API for building type providers | 301 |
 idris-hackers/idris-free | A collection of Idris libraries and constructions that simplify working with monads in functional programming. | 26 |
 dave-hagedorn/cpp-typelist | A library providing a functional-style typelist for C++20 | 11 |
 idris-lang/idris-tutorial | An archived tutorial for learning Idris, a programming language for specifying and proving mathematical concepts in a formal system. | 94 |
 mmhelloworld/idris-jvm | Provides a JVM backend for the Idris programming language. | 470 |
 statebox/idris-ct | A formally verified category theory library written in Idris | 259 |
 ziman/lightyear | A parser combinator library for Idris that allows backtracking by default and provides various combinators for building parsers. | 240 |
| idris-hackers/idrisscript | Provides safe interface to JavaScript's unsafe world | 92 |
| idris-lang/idris2 | A compiler and language for a purely functional programming language with first class types | 2,541 |
| fsprojects/fsharp.data.typeproviders | Legacy F# type providers for accessing various data sources using .NET Framework generators | 38 |
 lysxia/first-class-families | A library providing a foundation for type-level functions and compositions in Haskell | 87 |
 esp-rs/esp-idf-hal | A Rust library providing safe wrappers for the ESP IDF SDK drivers | 482 |