Skip to content
View FrancoFantomius's full-sized avatar
1 follower · 5 following

Achievements

Achievement: Pull Sharkx2Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: Quickdraw

Achievements

Achievement: Pull Sharkx2Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: Quickdraw

Block or report FrancoFantomius

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
FrancoFantomius/README.md

🏆 GitHub Trophies

💡 Specializations & Key Focus Areas

🧠 Formal Logic & Theorem Proving

Building automated deduction engines, theorem provers in Python/Cython, and exporting formal proofs to Lean 4.

Featured in logic-prover

🌐 Web Scraping & Data Extraction

Developing high-performance scraping toolkits, search engine query tools, and integrations for the Wikimedia ecosystem.

Featured in netgo

🔒 Encrypted Apps & PWAs

Designing lightweight, zero-knowledge end-to-end encrypted note apps (inspired by Filen architecture) and PWAs for privacy-first experiences.

Featured in Noten & melo

🚀 About Me

├── 🔭 Currently working on  : logic-prover (Theorem prover with Lean 4 export) & netgo (Scraping toolkit)
├── 💼 Main Stack            : Python (Cython), JavaScript, Web Development & Encryption
├── 🌱 Currently learning    : Lean 4 Proof Assistant, Advanced Cython & Cloud Infrastructure
├── 👯 Looking to collaborate: Open-source logic tools, Web applications & Python libraries
├── 💬 Ask me about          : Theorem Proving, Web Scraping, PWA Development & E2E Encryption
└── 🌐 Personal Website      : https://francofantomius.com

🌟 Featured Repositories

logic-prover
🧠 logic-prover
Formal logic theorem prover, formula explorer, deducer & Lean 4 exporter with Cython acceleration.
🔗 Live Demo & Docs 		netgo
🌐 netgo
Lightweight Python toolkit for web scraping, search engine querying, sitemaps & Wikimedia API.
🔗 Live Demo & Docs
Noten
🔒 Noten
Fast, lightweight, zero-knowledge end-to-end encrypted notes web application (inspired by Filen).
🔗 Live App 		melo
🎵 melo
Lightweight Progressive Web App (PWA) music player.
🔗 Live App

🛠️ Tech Stack & Skills

Category Technologies
Languages Python JavaScript Cython HTML5 CSS3
Frontend & Styling Vite Tailwind CSS PWA
Web & Security E2E Encryption Filen REST API Lean 4
DevOps & Tools Git GitHub Pages VS Code Linux

📊 GitHub Analytics & Statistics

GitHub Stats Top Languages

Streak Stats



Activity Graph

📫 Connect & Links



Pinned Loading

  1. Noten Noten Public

    A fast, lightweight, and end-to-end encrypted notes application.

    JavaScript

  2. Scriben Scriben Public

    A simple e2e encrypted document editor in your browser

    JavaScript

  3. maps maps Public

    JavaScript

  4. netgo netgo Public

    netgo is a lightweight Python toolkit for web scraping, search engine querying, sitemap crawling, and interacting with the Wikimedia ecosystem.

    Python

  5. mnemosine mnemosine Public

    Repository for project mnemosine

    Python

  6. logic-prover logic-prover Public

    A formal logic theorem prover, formula explorer, deducer, and Lean 4 exporter in Python with Cython acceleration.

    Python