marshall-lee - 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
ActiveRecord associations on top of PostgreSQL arrays
Ruby 63 14
My solutions to Software Foundations course in Coq proof assistant.
Rocq Prover 45 18
Bulk-pushes jobs to Sidekiq when you need it to.
Ruby 43 3
Erlang bindings for etcd key value store
Erlang 35 15
Warns you if deploying on friday!
Ruby 30 5
Small DNS server to lookup local network IPs by their MAC addresses
Go 22 1