Skip to content

@Kernel-Science Kernel Science

Change the repository type filter

All

    Repositories list

    4 repositories

    • physlibsearch

      Public
      Semantic search for PhysLib — the formal Lean 4 physics library. Find theorems and definitions using plain English.
      mathliblean4physlib
      mathliblean4physlibphyslean
      TypeScript
      •
      Other
      •1•9•0•0•Updated May 26, 2026May 26, 2026

    • physlib-website

      Public
      Physlib Website
      TypeScript
      •
      Apache License 2.0
      •1•1•0•1•Updated May 26, 2026May 26, 2026

    • metascience_platform

      Public
      Metascience Platform by Kernel Science SRL for FQXI
      TypeScript
      •
      MIT License
      •1•0•0•0•Updated May 13, 2026May 13, 2026

    • physlibsearch-skill

      Public
      Claude Code skill for PhyslibSearch — semantic search over the Physlib Lean 4 physics library
      1•4•0•0•Updated Apr 23, 2026Apr 23, 2026
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.