Pinned Loading

1. djot.v djot.v Public

   Verified djot parser in Rocq: no backtracking, container uniformity and safe hard-wrapping proved, for djot and configurable variants. Extracts to an OCaml library.

   Rocq Prover

2. oyster oyster Public

   extensions for CommonMark

   OCaml

3. imandra-ai/imandrax-tools imandra-ai/imandrax-tools Public

   Python 1

4. meta-labeling-and-lstm meta-labeling-and-lstm Public

   An implementation that applies meta-labeling to minute-frequency stock data, utilizing LSTM as the primary model for price direction prediction, which forms the basis for a trading strategy augment…

   Jupyter Notebook 3 1

5. semi-supervised-hedge-fund-clustering semi-supervised-hedge-fund-clustering Public

   A semi-supervised clustering method utilizing tree distance for enhanced hierarchical classification of funds in fund of funds analysis.

   Jupyter Notebook 1

6. semi-supervised-chameleon-clustering semi-supervised-chameleon-clustering Public

   An implementation of semi-supervised Chameleon clustering, capable of integrating must-link and cannot-link constraints at various levels of hierarchy to guide the clustering process. It also offer…

   Jupyter Notebook 1 1