LOGICAFFEINEContact

Part I: First Steps

1. Introduction 2. How LOGOS Reads English 3. Getting Started 4. Tutorial: Teach the Computer to Guess 5. Checkpoint: First Steps

Part II: The Language

6. Variables and Types 7. Text 8. Operators and Expressions 9. Control Flow 10. Functions 11. Closures and Function Values 12. Collections 13. User-Defined Types 14. Generics 15. Error Handling 16. Checkpoint: The Language

Part III: Systems Programming

17. Memory and Ownership 18. The Zone System 19. Bits, Bytes, and Machine Words 20. Concurrency 21. Interoperability: Rust, Native, and WASM 22. Checkpoint: Systems Programming

Part IV: Distributed Programming

23. Distributed Types (CRDTs)24. P2P Networking 25. Policy-Based Security 26. Checkpoint: Distributed Programming

Part V: Projects and Tooling

27. Modules 28. The CLI: largo 29. Standard Library 30. Building Web Apps 31. How LOGOS Runs: The Five Tiers 32. Checkpoint: Projects and Tooling

Part VI: Logic and Verification

33. Logic Mode 34. Assertions and Trust 35. Z3 Static Verification 36. The Proof Engine: Theorems from English 37. Checkpoint: Logic and Verification

Part VII: Practice

38. Complete Examples 39. Recipes: How Do I…?

Part VIII: Reference

40. Quick Reference 41. Appendix: Every Operator, Both Spellings 42. Appendix: The Error Message Gallery 43. Appendix: Playground vs Compiled

First Steps

Introduction Syllogistic Logic Meaning and Definitions Fallacies and Argumentation Inductive Reasoning

Building Blocks

Basic Propositional Logic Propositional Proofs

Expanding Horizons

Basic Quantificational Logic Relations and Identity Basic Modal Logic Further Modal Systems Deontic and Imperative Logic Belief Logic

Mastery

A Formalized Ethical Theory Metalogic History of Logic Deviant Logics Philosophy of Logic

Studio Crates Roadmap Contact News Benchmarks

Contact the Team

LOGOS is open source under the MIT License. Use it for anything, for anyone, at any size.

Contact the team Try it in the browser

Install in one line

macOS and Linux

curl -fsSL https://logicaffeine.com/install.sh | sh

Windows (PowerShell)

irm https://logicaffeine.com/install.ps1 | iex

Contact the team

Leave your email, and a phone number if you'd like a call. The team will get back to you.

What happens next: an engineer replies, with a few questions about how you plan to use LOGOS.

FAQ

Is LOGOS free?: Yes. LOGOS is open source under the MIT License. Use it for anything, for anyone, at any size.
What is the license?: The MIT License, the whole of it in LICENSE.md.
Where is the source?: On GitHub: github.com/Brahmastra-Labs/logicaffeine
How do I reach the team?: Send the form on this page, or write to [email protected].