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

GitHub

94 stars
9 watching
6 forks
Language: Idris
last commit: over 8 years ago
Linked from 1 awesome list


Backlinks from these awesome lists:

Related projects:

RepositoryDescriptionStars
david-christiansen/idrissqliteProvides type-safe bindings and tools for Idris to interact with SQLite databases.41
uwap/idris-httpAn HTTP library for Idris40
idris-industry/ikanA 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.sdkAn F# API for building type providers301
idris-hackers/idris-freeA collection of Idris libraries and constructions that simplify working with monads in functional programming.26
dave-hagedorn/cpp-typelistA library providing a functional-style typelist for C++2011
idris-lang/idris-tutorialAn archived tutorial for learning Idris, a programming language for specifying and proving mathematical concepts in a formal system.94
mmhelloworld/idris-jvmProvides a JVM backend for the Idris programming language.470
statebox/idris-ctA formally verified category theory library written in Idris259
ziman/lightyearA parser combinator library for Idris that allows backtracking by default and provides various combinators for building parsers.240
idris-hackers/idrisscriptProvides safe interface to JavaScript's unsafe world92
idris-lang/idris2A compiler and language for a purely functional programming language with first class types2,541
fsprojects/fsharp.data.typeprovidersLegacy F# type providers for accessing various data sources using .NET Framework generators38
lysxia/first-class-familiesA library providing a foundation for type-level functions and compositions in Haskell87
esp-rs/esp-idf-halA Rust library providing safe wrappers for the ESP IDF SDK drivers482