Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Leanink

LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.
Stars
51
License
apache-2.0
Open Issues
14
Most Recent Commit
4 months ago
Programming Language
Lean
Categories
Repo
Alternatives To Leanink
Select To Compare
D3 ⭐ 107,564
Bring data to life with SVG, Canvas and HTML. :bar_chart::chart_with_upwards_trend::tada:
dependent packages 6,314total releases 272most recent commit a month agonpm d3} Downloads
Kibana ⭐ 19,241
Your window into the Elastic Stack
dependent packages 3total releases 1most recent commit 2 months agonpm kibana-123} Downloads


Suggest An Alternative To LeanInk
Popular User Interface Categories
Theme
Flutter
Animation
Redux
Bindings
Gui
Material
Visualization
Layout
Qt

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Visualization
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.