Pinned Loading

1. Gen-Ed Gen-Ed Public

   Gen-Ed is a framework for building web applications that use generative AI (LLMs) for education.

   Python 42 21

2. MARCO MARCO Public

   A Python implementation of the MARCO/MARCOs algorithm for enumerating MUSes and MSS/MCSes of infeasible constraint systems.

   C++ 27 5

3. PyMiniSolvers PyMiniSolvers Public

   A Python API for the MiniSat and MiniCard constraint solvers.

   C++ 24 7

4. minicard minicard Public

   MiniCard: An efficient cardinality solver based on MiniSAT

   C++ 21 11

5. Arduino-Cheat-Sheet Arduino-Cheat-Sheet Public

   A cheat sheet for Arduino programming.

   189 55

6. dokuwiki-plugin-mathjax dokuwiki-plugin-mathjax Public

   MathJax plugin for DokuWiki

   PHP 12 12