Skip to content
View ThorFuchs's full-sized avatar
25 followers · 235 following

Achievements

Achievement: QuickdrawAchievement: Pair Extraordinairex4Achievement: Pull Sharkx3Achievement: YOLO

Achievements

Achievement: QuickdrawAchievement: Pair Extraordinairex4Achievement: Pull Sharkx3Achievement: YOLO

Highlights

  • Pro

Block or report ThorFuchs

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
ThorFuchs/README.md

Dr. Thorsten Fuchs

PhD mathematician building TauLib, a fully constructive formal system in Lean 4, and the wider Panta Rhei Research Program.

Swift-JSON 1.0.0

I've released Swift-JSON, a Swift package for exact JSON values, offline Draft 2020-12 JSON Schema validation, JSON Patch and pull-driven streaming. It preserves decimal values and Unicode scalar identity, with explicit finite budgets for work owned by the library.

Swift 6.4+ · macOS 27+ · Apache-2.0 · No external package dependencies.

Repository · 1.0.0 release · Documentation

Feedback and real-world use cases are welcome. If you find it useful, a star helps other Swift developers discover it.

Current focus

  • TauLib — Lean 4 formalization layer
  • Panta Rhei Research Program — mathematics → physics → life → metaphysics
  • Research website — public framework, results, publications, and verification surfaces

Start here

Background

I studied pure mathematics in Germany, then spent years in technology and leadership roles across Microsoft, AWS, and ServiceNow. I’m now focused on building and publishing the Panta Rhei research program in a fully public and inspectable form.

What I’m looking for

I’m especially interested in conversations with people working in:

  • Lean / theorem proving
  • constructive mathematics
  • category theory and topos theory
  • foundations of physics
  • formal reasoning systems

Pinned Loading

  1. Panta-Rhei-Research/taulib Panta-Rhei-Research/taulib Public

    Lean 4 formalization surface; current metrics and trusted-base details live in the Release Manifest.

    Lean 4

  2. Panta-Rhei-Research/community Panta-Rhei-Research/community Public

    Engagement hub: onboarding, discussions, review guidance, routing, contribution policies, and structured scrutiny.

  3. Panta-Rhei-Research/publications Panta-Rhei-Research/publications Public

    Artifact and release layer: monographs, papers, notes, briefings, white papers, ledgers, release artifacts, and errata.

    TeX

  4. Panta-Rhei-Research/research Panta-Rhei-Research/research Public

    Public research workspace: notebooks, scripts, import reports, data transforms, experiments, and exploratory support.

  5. Swift-JSON Swift-JSON Public

    Exact JSON for modern Swift: lossless decimals and Unicode scalar keys, offline Draft 2020-12 schemas, transactional JSON Patch, and pull-driven streams with finite budgets. Swift 6.4+, macOS 27+. …

    Swift 1