Pinned Loading

1. Syllabification Syllabification Public

   Non-optimized syllabification algorithms for Romanian

   Python 2

2. the-smiths-made-me-do-it the-smiths-made-me-do-it Public

   Playing around with Authorship Attribution and Morrissey

   Python 7 1

3. morphology morphology Public

   My code for the experiments in nominal class prediction for Romanian

   Python 2

4. navier-stokes-proof navier-stokes-proof Public

   Reproducible Lean certificate verification and statement alignment for the Navier–Stokes problem. Independent reviews welcome.

   Lean