Pinned Loading

1. markless markless Public

   Preview markdown inline and extend the capabilities through VS Code extensions.

   JavaScript 47 20

2. qualia qualia Public

   An extensible graph-based knowledge store.

   Python 3

3. 6tisch-adaptive-scan 6tisch-adaptive-scan Public

   6TiSCH implementation using adaptive scan period during the initial synchronization of nodes.

   C 1

4. routero routero Public

   AI-based route optimization and visualization tool for sales vehicles.

   Jupyter Notebook 18 8

5. deepFWI deepFWI Public

   Forecasting wildfire using deep learning.

   Jupyter Notebook

6. lean4body-uniqueness lean4body-uniqueness Public

   Lean 4 formalization of Theorems A and B of arXiv:2609.35632: uniqueness of convex central configurations in the planar four-body problem and the Hessian bound Q ≥ K/4

   Lean 1 1