reynir - 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
SSH chat server using trust on first use for user registration
OCaml 32
Brainfuck formalized in Coq
Coq 31 2
Ssh-agent unikernel for QubesOS
OCaml 23 4
A collection of proofs for some idris class instances - NOT MAINTAINED
Idris 18 4