lode

lode

typednotes

Agentic coding in Lean

reactive-programming
View on GitHub
3 Stars
0 Forks
0 Watchers
Lean Language
apache-2.0 License
54.1 SrcLog Score
Cost to Build
$17.3K
Market Value
$13.3K
How is this calculated?

Growth over time

1 data points  ·  2026-10-19 → 2026-10-19
Stars Forks Watchers
💬

How do you feel about this project?

Ask AI about lode

Question copied to clipboard

What is the typednotes/lode GitHub project? Description: "Agentic coding in Lean". Written in Lean. Explain what it does, its main use cases, key features, and who would benefit from using it.

Question is copied to clipboard — paste it after the AI opens.

🏆 Show off this rank

typednotes/lode on SrcLog (holo style)

Add it to a GitHub README or profile — the card updates as the ranking changes:

How to clone lode

Clone via HTTPS

git clone https://github.com/typednotes/lode.git

Clone via SSH

[email protected]:typednotes/lode.git

Download ZIP

Download main.zip

Found an issue?

Report bugs or request features on the lode issue tracker:

Open GitHub Issues

Similar to lode

meteor open-source-ios-apps mobx mostly-adequate-guide cyclejs RxJava-Android-Samples awesome-flutter lila ReactiveUI red mobx-react learn-rxjs xstream ModernCleanArchitectureSwiftUI monix router5 react-easy-state angularspree EasyReact RxFlow Neutronium TheContext-Podcast RxSwiftExt OfflineSampleApp reactivemanifesto observer-util recycle LPDMvvmKit cycle-onionify xcell