theobat - Overview
Skip to content
Sign in
AI CODE CREATION
GitHub CopilotWrite better code with AI
GitHub SparkBuild and deploy intelligent apps
GitHub ModelsManage and compare prompts
MCP RegistryNewIntegrate external tools
View all features
Sign up
Interested in type theory, haskell and a wide variety of other subjects.
An intermediate haskell framework for designing GraphQL APIs
Haskell 8 1
A simple and convenient workflow for postgresql migration based on hasl-migration
Haskell
A simple approach to google's FCM v1 API
proposal for wrapping types