lazear - 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
I like big data and I cannot lie
Proxima
Proteomics search & quantification so fast that it feels like magic
Rust 278 66
Seamlessly use Axum on AWS Lambda
Rust 87 14
Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!
Rust 213 10
A set of minimal lisp implementations
C 71 9
A compiler for Standard ML, somewhat
Rust 204 4