idris-type-providers
Type provider library for Idris
AI summary
Type provider library
A type provider library for Idris that provides a way to integrate external data sources into the Idris programming language.
- stars
- 94
- forks
- 6
- watching
- 9
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
SQLite library
Provides type-safe bindings and tools for Idris to interact with SQLite databases.
HTTP library
An HTTP library for Idris
Package manager
A package manager and build tool for Idris, enabling easy management of packages and projects with a focus on simplicity and flexibility.
Type provider API
An F# API for building type providers
Monad builder
A collection of Idris libraries and constructions that simplify working with monads in functional programming.
Typelist library
A library providing a functional-style typelist for C++20
Idris tutorial
An archived tutorial for learning Idris, a programming language for specifying and proving mathematical concepts in a formal system.
Idris compiler
Provides a JVM backend for the Idris programming language.
Category theory library
A formally verified category theory library written in Idris
Parser library
A parser combinator library for Idris that allows backtracking by default and provides various combinators for building parsers.
JavaScript binder
Provides safe interface to JavaScript's unsafe world
Functional compiler
A compiler and language for a purely functional programming language with first class types
Data access libraries
Legacy F# type providers for accessing various data sources using .NET Framework generators
Type composer
A library providing a foundation for type-level functions and compositions in Haskell
Driver library
A Rust library providing safe wrappers for the ESP IDF SDK drivers
Featured in 1 awesome list
Each link jumps to the spot where the list mentions idris-type-providers.
