λ Computing

Shape the Future of Computation Theory

Join our open-source community to develop educational tools, expand interactive proofs, and help thousands learn through the power of functional mathematics.

Get Started Now

Ways to Contribute

Code Developer

Help build interactive theorem provers, lambda evaluators, and category theory visualizations using Rust/WebAssembly.

View GitHub

Content Creator

Author educational content explaining complex theory topics through interactive diagrams and visualizations.

📝 Contribution Guidelines

Community Builder

Help organize workshops, create interactive learning challenges, and foster collaboration through our Discord community.

Join Discord

Contribution Guidelines

Code Contributions

Fork our repo, fix issues, add new features using Rust/WebAssembly, and submit PRs. Make sure to include test coverage and interactive documentation.

• Follow our Rust/JS style guide
• Use interactive test cases
• Include browser-compatible WASM exports

Content Contributions

Help us expand educational materials with interactive visualizations for type theory, category theory, and lambda calculus concepts.

• Read our content styleguide
• Create interactive diagram templates
• Add code sandbox examples

Meet Our Contributors

John Doe

Core Developer

"I contribute because I believe in making complex computation theory accessible through beautiful interactive UIs."

Jane Smith

Documentation Lead

"Creating clear educational resources for functional programming concepts is my passion. Want to join?"

Alex Chung

Community Manager

"Helping others learn is a joy. Let's build the future of computational thinking together!"