alfreb - 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
Funcom
Turing machines implemented directly from Turing's 1936 paper
Haskell 4 1
Lambda calculus implemented directly from Alonzo Church's 1936 paper
Haskell 12