allaun/Research-Stack
1
0
Fork 0
mirror of https://github.com/allaunthefox/Research-Stack.git synced 2026-08-17 05:30:34 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Commit graph

  • 51de850d59 feat(lean): genus-1 torus carrier — winding numbers, surface braids, and C1/C2 lane formalization Brandon Schneider 2026-05-21 01:06:37 -05:00
  • 6fb282eb9f feat(lean): genus-1 torus carrier — winding numbers, surface braids, and C1/C2 lane formalization Brandon Schneider 2026-05-21 01:06:37 -05:00
  • 8c7676ada8 feat(lean): add Burgers-PhiNUVMAP bridge — 16D golden-ratio projection for viscous shock fields Brandon Schneider 2026-05-21 00:47:07 -05:00
  • 4f6ca74c2b feat(lean): add Burgers-PhiNUVMAP bridge — 16D golden-ratio projection for viscous shock fields Brandon Schneider 2026-05-21 00:47:07 -05:00
  • 43d6e2561e feat(lean): add Burgers-PhiNUVMAP bridge — 16D golden-ratio projection for viscous shock fields Brandon Schneider 2026-05-21 00:47:07 -05:00
  • dae735f157 feat(lean): add Burgers-PhiNUVMAP bridge — 16D golden-ratio projection for viscous shock fields Brandon Schneider 2026-05-21 00:47:07 -05:00
  • 2febafa8e8 feat(lean): add PhiNUVMAP — golden-ratio fractal 16D coordinate system Brandon Schneider 2026-05-21 00:29:27 -05:00
  • e2b3f3b281 feat(lean): add PhiNUVMAP — golden-ratio fractal 16D coordinate system Brandon Schneider 2026-05-21 00:29:27 -05:00
  • 996b793623 feat(lean): add PhiNUVMAP — golden-ratio fractal 16D coordinate system Brandon Schneider 2026-05-21 00:29:27 -05:00
  • 9e5f406096 feat(lean): add PhiNUVMAP — golden-ratio fractal 16D coordinate system Brandon Schneider 2026-05-21 00:29:27 -05:00
  • fbf1a54def feat(lean): add TreeDIAT prototype to PistSimulation.lean Brandon Schneider 2026-05-20 23:56:33 -05:00
  • 539e29057f feat(lean): add TreeDIAT prototype to PistSimulation.lean Brandon Schneider 2026-05-20 23:56:33 -05:00
  • f919c403e8 feat(lean): add TreeDIAT prototype to PistSimulation.lean Brandon Schneider 2026-05-20 23:56:33 -05:00
  • fcc3f12a7b feat(lean): add TreeDIAT prototype to PistSimulation.lean Brandon Schneider 2026-05-20 23:56:33 -05:00
  • 68910aafab
         chore(deps): bump dom_query in /4-Infrastructure/servo-fetch dependabot[bot] 2026-05-21 04:53:25 +00:00
  • dfb53df38e
         chore(deps): bump pulldown-cmark dependabot[bot] 2026-05-21 04:52:30 +00:00
  • 68f83dd7a2 Bump idna from 3.10 to 3.15 in /2-Search-Space/search/whoogle-search (#34) dependabot[bot] 2026-05-20 23:51:19 -05:00
  • 7087ddc0be Bump idna from 3.10 to 3.15 in /2-Search-Space/search/whoogle-search (#34) dependabot[bot] 2026-05-20 23:51:19 -05:00
  • b222af0b0d Bump idna from 3.10 to 3.15 in /2-Search-Space/search/whoogle-search (#34) dependabot[bot] 2026-05-20 23:51:19 -05:00
  • a5f5088dec
         Bump idna from 3.10 to 3.15 in /2-Search-Space/search/whoogle-search (#34) dependabot[bot] 2026-05-20 23:51:19 -05:00
  • ca80cf6d26 Bump the cargo group across 3 directories with 1 update (#36) dependabot[bot] 2026-05-20 23:51:16 -05:00
  • f6a14d1f13 Bump the cargo group across 3 directories with 1 update (#36) dependabot[bot] 2026-05-20 23:51:16 -05:00
  • 8c06a9f169 Bump the cargo group across 3 directories with 1 update (#36) dependabot[bot] 2026-05-20 23:51:16 -05:00
  • 0ed16b4611
         Bump the cargo group across 3 directories with 1 update (#36) dependabot[bot] 2026-05-20 23:51:16 -05:00
  • 81548958bb feat(lean): inline spectral refinement kernel into PistSimulation.lean Brandon Schneider 2026-05-20 23:48:32 -05:00
  • 25099d6ae6 feat(lean): inline spectral refinement kernel into PistSimulation.lean Brandon Schneider 2026-05-20 23:48:32 -05:00
  • 6a91767d4a feat(lean): inline spectral refinement kernel into PistSimulation.lean Brandon Schneider 2026-05-20 23:48:32 -05:00
  • cb84219ebc feat(lean): inline spectral refinement kernel into PistSimulation.lean Brandon Schneider 2026-05-20 23:48:32 -05:00
  • edbaa508f3 chore(lean): export fixedpoint additive identities Brandon Schneider 2026-05-20 23:19:16 -05:00
  • c60b6e802d chore(lean): export fixedpoint additive identities Brandon Schneider 2026-05-20 23:19:16 -05:00
  • 97537c970a chore(lean): export fixedpoint additive identities Brandon Schneider 2026-05-20 23:19:16 -05:00
  • f37bf73ce3 chore(lean): export fixedpoint additive identities Brandon Schneider 2026-05-20 23:19:16 -05:00
  • 52964551df chore(lean): promote safe local semantics cleanup Brandon Schneider 2026-05-20 23:13:43 -05:00
  • 386523c12c chore(lean): promote safe local semantics cleanup Brandon Schneider 2026-05-20 23:13:43 -05:00
  • 1aef93895f chore(lean): promote safe local semantics cleanup Brandon Schneider 2026-05-20 23:13:43 -05:00
  • 8f848132a7 chore(lean): promote safe local semantics cleanup Brandon Schneider 2026-05-20 23:13:43 -05:00
  • cdc6706e99 fix(servo-fetch): align dom query with smoothie Brandon Schneider 2026-05-20 23:07:32 -05:00
  • eba1c000ce fix(servo-fetch): align dom query with smoothie Brandon Schneider 2026-05-20 23:07:32 -05:00
  • ab8fce304b fix(servo-fetch): align dom query with smoothie Brandon Schneider 2026-05-20 23:07:32 -05:00
  • def6eb15ce fix(servo-fetch): align dom query with smoothie Brandon Schneider 2026-05-20 23:07:32 -05:00
  • 3ba5570613 Bump idna in /4-Infrastructure/shim in the pip group across 1 directory dependabot[bot] 2026-05-19 23:48:09 +00:00
  • 5797628428 Bump idna in /4-Infrastructure/shim in the pip group across 1 directory dependabot[bot] 2026-05-19 23:48:09 +00:00
  • 7e6dfee9a5 Bump idna in /4-Infrastructure/shim in the pip group across 1 directory dependabot[bot] 2026-05-19 23:48:09 +00:00
  • 090724308a Bump idna in /4-Infrastructure/shim in the pip group across 1 directory dependabot[bot] 2026-05-19 23:48:09 +00:00
  • 3c31487403 Bump the python-minor-patch group dependabot[bot] 2026-05-19 00:07:08 +00:00
  • a7d56f44be Bump the python-minor-patch group dependabot[bot] 2026-05-19 00:07:08 +00:00
  • 1c365366e3 Bump the python-minor-patch group dependabot[bot] 2026-05-19 00:07:08 +00:00
  • 3cbb378684 Bump the python-minor-patch group dependabot[bot] 2026-05-19 00:07:08 +00:00
  • 83df91500f Bump packaging in /2-Search-Space/search/whoogle-search dependabot[bot] 2026-05-19 00:07:12 +00:00
  • 55df02bfdb Bump packaging in /2-Search-Space/search/whoogle-search dependabot[bot] 2026-05-19 00:07:12 +00:00
  • f733d408da Bump packaging in /2-Search-Space/search/whoogle-search dependabot[bot] 2026-05-19 00:07:12 +00:00
  • 85e0ea9639 Bump packaging in /2-Search-Space/search/whoogle-search dependabot[bot] 2026-05-19 00:07:12 +00:00
  • 9730cd85e4 Bump more-itertools in /2-Search-Space/search/whoogle-search dependabot[bot] 2026-05-19 00:07:16 +00:00
  • f02fe84c58 Bump more-itertools in /2-Search-Space/search/whoogle-search dependabot[bot] 2026-05-19 00:07:16 +00:00
  • e2a9fa07ad Bump more-itertools in /2-Search-Space/search/whoogle-search dependabot[bot] 2026-05-19 00:07:16 +00:00
  • 051e737d9b Bump more-itertools in /2-Search-Space/search/whoogle-search dependabot[bot] 2026-05-19 00:07:16 +00:00
  • 9e5cce064a Bump idna from 3.10 to 3.15 in /2-Search-Space/search/whoogle-search dependabot[bot] 2026-05-19 20:43:13 +00:00
  • 1d101e95a2 Bump idna from 3.10 to 3.15 in /2-Search-Space/search/whoogle-search dependabot[bot] 2026-05-19 20:43:13 +00:00
  • f2337c5822 Bump idna from 3.10 to 3.15 in /2-Search-Space/search/whoogle-search dependabot[bot] 2026-05-19 20:43:13 +00:00
  • 1ac72524a0 Bump idna from 3.10 to 3.15 in /2-Search-Space/search/whoogle-search dependabot[bot] 2026-05-19 20:43:13 +00:00
  • 9fa95d2183 Bump better-sqlite3 in the root-npm-minor-patch group across 1 directory dependabot[bot] 2026-05-19 06:56:00 +00:00
  • 8f7bc5c307 Bump better-sqlite3 in the root-npm-minor-patch group across 1 directory dependabot[bot] 2026-05-19 06:56:00 +00:00
  • f132ed67b5 Bump better-sqlite3 in the root-npm-minor-patch group across 1 directory dependabot[bot] 2026-05-19 06:56:00 +00:00
  • 3db8168f72 Bump better-sqlite3 in the root-npm-minor-patch group across 1 directory dependabot[bot] 2026-05-19 06:56:00 +00:00
  • ed3458ade2 Bump actions/setup-python from 5 to 6 dependabot[bot] 2026-05-18 23:55:52 +00:00
  • 1f42501c97 Bump actions/setup-python from 5 to 6 dependabot[bot] 2026-05-18 23:55:52 +00:00
  • 875c6a7a60 Bump actions/setup-python from 5 to 6 dependabot[bot] 2026-05-18 23:55:52 +00:00
  • cb30605c4e Bump actions/setup-python from 5 to 6 dependabot[bot] 2026-05-18 23:55:52 +00:00
  • 19885bdc43 Bump actions/github-script from 7 to 9 dependabot[bot] 2026-05-18 23:55:55 +00:00
  • 293f8aa210 Bump actions/github-script from 7 to 9 dependabot[bot] 2026-05-18 23:55:55 +00:00
  • 6b8d4ff9b3 Bump actions/github-script from 7 to 9 dependabot[bot] 2026-05-18 23:55:55 +00:00
  • 0f56fa414e Bump actions/github-script from 7 to 9 dependabot[bot] 2026-05-18 23:55:55 +00:00
  • 1d12870d3b Bump actions/checkout from 4 to 6 dependabot[bot] 2026-05-18 23:55:58 +00:00
  • 0d9d190dca Bump actions/checkout from 4 to 6 dependabot[bot] 2026-05-18 23:55:58 +00:00
  • e7c673aa5a Bump actions/checkout from 4 to 6 dependabot[bot] 2026-05-18 23:55:58 +00:00
  • f01dbd769f Bump actions/checkout from 4 to 6 dependabot[bot] 2026-05-18 23:55:58 +00:00
  • b61f14f6bc Bump dashmap dependabot[bot] 2026-05-19 02:21:16 +00:00
  • 38d0d898ad Bump dashmap dependabot[bot] 2026-05-19 02:21:16 +00:00
  • e4d35ef969 Bump dashmap dependabot[bot] 2026-05-19 02:21:16 +00:00
  • 196695cd42 Bump dashmap dependabot[bot] 2026-05-19 02:21:16 +00:00
  • ea7d3b94c3 Bump itertools in /5-Applications/parquet_compressor dependabot[bot] 2026-05-19 02:21:29 +00:00
  • 5bb0470b63 Bump itertools in /5-Applications/parquet_compressor dependabot[bot] 2026-05-19 02:21:29 +00:00
  • 65961ca322 Bump itertools in /5-Applications/parquet_compressor dependabot[bot] 2026-05-19 02:21:29 +00:00
  • dc3fd55934 Bump itertools in /5-Applications/parquet_compressor dependabot[bot] 2026-05-19 02:21:29 +00:00
  • fea92c6c9a Bump indicatif in /5-Applications/parquet_compressor dependabot[bot] 2026-05-19 02:21:23 +00:00
  • 84da520be9 Bump indicatif in /5-Applications/parquet_compressor dependabot[bot] 2026-05-19 02:21:23 +00:00
  • eed6dd0eec Bump indicatif in /5-Applications/parquet_compressor dependabot[bot] 2026-05-19 02:21:23 +00:00
  • 94795203ab Bump indicatif in /5-Applications/parquet_compressor dependabot[bot] 2026-05-19 02:21:23 +00:00
  • 47964b85f2 Bump the notion-tauri-cargo-minor-patch group dependabot[bot] 2026-05-19 02:00:51 +00:00
  • 49f550d9c4 Bump the notion-tauri-cargo-minor-patch group dependabot[bot] 2026-05-19 02:00:51 +00:00
  • f4b5fadfd8 Bump the notion-tauri-cargo-minor-patch group dependabot[bot] 2026-05-19 02:00:51 +00:00
  • 71ab744ea1 Bump the notion-tauri-cargo-minor-patch group dependabot[bot] 2026-05-19 02:00:51 +00:00
  • fcf2474fd1 Bump the linear-tauri-cargo-minor-patch group dependabot[bot] 2026-05-19 01:49:41 +00:00
  • dfd8d6d905 Bump the linear-tauri-cargo-minor-patch group dependabot[bot] 2026-05-19 01:49:41 +00:00
  • 7bac723a0c Bump the linear-tauri-cargo-minor-patch group dependabot[bot] 2026-05-19 01:49:41 +00:00
  • bd86554716 Bump the linear-tauri-cargo-minor-patch group dependabot[bot] 2026-05-19 01:49:41 +00:00
  • da3bc4c9f9 Bump the servo-fetch-cargo-minor-patch group dependabot[bot] 2026-05-19 01:28:00 +00:00
  • bdd495c515 Bump the servo-fetch-cargo-minor-patch group dependabot[bot] 2026-05-19 01:28:00 +00:00
  • 7b5fb100fb Bump the servo-fetch-cargo-minor-patch group dependabot[bot] 2026-05-19 01:28:00 +00:00
  • c9eac4f6c0 Bump the servo-fetch-cargo-minor-patch group dependabot[bot] 2026-05-19 01:28:00 +00:00