DibyashanuPati

0 followers · 0 following

• Joined on 2025-03-02

Repositories

5

Projects Packages Public activity Starred repositories

Filter

Clear filters

Archived Not archived

Forks Not forks

Mirrors Not mirrors

Templates Not templates

Private Public

Sort

Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks Smallest size Largest size

PhysLean

Lean 0 0

An Attempt to formalize physics in Lean4.

Updated 2025-04-23 07:28:29 +00:00

Kinetic_Theory_of_Gases_Lean

0 0

Formalizing the kinetic theory of Gases in Lean4

Updated 2025-04-01 22:39:57 +00:00

cosmicflow

CSS 0 0

source code for cosmicflow.space

Updated 2025-03-20 13:44:05 +00:00

quartz

TypeScript 0 0

forked version of https://github.com/jackyzha0/quartz with changes for the Thought Ocean of cosmicflow.space on branch cosmicflow.

Updated 2025-03-20 13:43:50 +00:00

thought_garden

0 0

These are my thoughts in the form of a org roam database.

Updated 2025-03-19 09:43:31 +00:00