dolev765
Follow
-
Formalized-in-Lean-Every-Affine-Scheme-as-an-Affine-Linear-Section-of-a-Smooth-Nilpotent-Orbit- Public
Lean formalization of affine scheme universality.
-
TypeScript Mozilla Public License 2.0 Updated
Jul 27, 2026 -
LeanArchitect Public
Forked from hanwenzhu/LeanArchitectLeanArchitect extracts a blueprint directly from Lean source.
Lean Apache License 2.0 UpdatedMay 31, 2026 -
-
-
google-maps-scraper Public
Forked from gosom/google-maps-scraperscrape data data from Google Maps. Extracts data such as the name, address, phone number, website URL, rating, reviews number, latitude and longitude, reviews,email and more for each place
Go MIT License UpdatedFeb 8, 2026 -
-
-
-
-
-
Suwayomi-WebUI Public
Forked from Suwayomi/Suwayomi-WebUITypeScript Mozilla Public License 2.0 UpdatedAug 18, 2025 -
-
dolev765.github.io Public
Forked from Quwarm/Trial-and-Error-ReadingGitHub Pages. For non-commercial use only!
JavaScript UpdatedMar 14, 2025 -
python-for-android Public
Forked from kivy/python-for-androidTurn your Python application into an Android APK
Python MIT License UpdatedJan 1, 2025 -