Popular repositories Loading

1. textGenGen textGenGen Public

   MPS plugin for generating textGen definitions derived from editor definitions, so that the text generated by textGen is the same as the one rendered on the screen by the editor

   JetBrains MPS 9 4

2. mathemagician mathemagician Public

   A Flutter app for all people who love mental math.

   Dart 3 2

3. lean-worlds lean-worlds Public

   Combining symbolic model-based RL and formal mathematics language Lean.

   Python 2

4. leantree leantree Public

   Structured data extraction and programmatic interaction with Lean 4.

   Python 2

5. sian sian Public

   Sian - Simple Animation Library

   C++ 1

6. papiry papiry Public

   Python 1 1