xLaDe Files

A Lean 4 Ecosystem Framework!

Brought to you by: lakshitsbishttm

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	Size	InfoDownloads / Week
Parent folder
xlade-1.9.0-py3-none-any.whl	2026-09-28	46.6 kB	0
xlade-1.9.0.tar.gz	2026-09-28	51.8 kB	1
README.md	2026-09-28	175 Bytes	0
xLaDe v1.9.0 source code.tar.gz	2026-09-28	117.5 kB	0
xLaDe v1.9.0 source code.zip	2026-09-28	183.7 kB	0
xLaDe v source code.tar.gz	2026-09-28	117.5 kB	0
xLaDe v source code.zip	2026-09-28	183.7 kB	0
Totals: 7 Items		700.9 kB	1

See CHANGELOG.md (github.com) for release notes.

Please provide your feedback. It will help make xLaDe better :)

Source: README.md, updated 2026-09-28

Other Useful Business Software

One Monitoring Tool for IT, OT and Cloud | Free Trial

Vendor-agnostic monitoring across on-prem servers, cloud platforms and OT devices, all in one dashboard. No more tool sprawl.

Modern infrastructure spans data centers, cloud platforms and factory floors, and every blind spot between them is a risk. PRTG supports SNMP, WMI, SSH and other standard protocols to monitor IT, OT and hybrid environments through one customizable dashboard. Build the views your team needs, from network health to application performance, without switching tools. Try PRTG free for 30 days now.

Try PRTG Free

Earn up to 16% annual interest with Nexo.

Let your crypto work for you

Put idle assets to work with competitive interest rates, borrow without selling, and trade with precision. All in one platform. Geographic restrictions, eligibility, and terms apply.

Get started with Nexo.

Recommended Projects

Lean 4
Lean 4 programming language and theorem prover
Laravel Forum
A slim, lean forum package designed for quick and easy integration
OpenGLEAN
OpenGLEAN: A GLUT family member gone lean.
kSOAP2
An efficient, lean, Java SOAP library for constrained devices.
Lean Copilot
LLMs as Copilots for Theorem Proving in Lean