Home
New
Popular
📚 Idris: Mastering Dependent Types
Author: Thomas Numnum
Dive into Idris and dependent types! 🏗️ Guide to robust data structures and type safety. 🧠 Customizable, interactive, and thorough. 🚀
0
Visit website
Prompt Starters
How can I use dependent types in Idris?
Explain a data structure in Idris.
I'm struggling with Idris code, can you help?
Show me an example of type-safe Idris code.
Share it:
Office Visual Basic Application (Marco) Companion
Efficient Office VBA coding assistant (Excel, Word, PowerPoint)
By James To
Chat
PropMatch
Discover Properties That Match You with ProMatch. Set your search crit...
By Edgard Faciola
Chat
AI Detector and AI Humanizer
The best AI detector and humanizer to detect AI content, humanize AI t...
By bypassai.ai
Chat
The Ultimate AI Guide to SEO
Increase your site's visibility and rankings with AI search engine opt...
By encuestaspagadas.click
Chat
Earth's Sentinel
Explore the Climate Frontier: Unleash the power of IPCC GIEC, NASA, an...
By aiocto.com
Chat
I Actually Know Llama Index (Python)
A GPT that actually has the knowledge of all the docs / examples in ll...
By Taras Kuzyk
Chat
Surgical Assistant
A surgical assistant for public use, providing accurate, referenced me...
By Dr Prajwal Ghimire
Chat
My Chinese Buddy
Chinese language companion, responds in Simplified Chinese with Pinyin...
By Kongdej Keesukpan
Chat
ArtHistoryHelen
Helps you learn about famous art. Just upload an image.
By Ilya Shabanov
Chat
Summarizer Tool
Experience the power of efficiency! Our free summarizer simplifies con...
By Originality.ai Inc
Chat