Skip to content
View liffiton's full-sized avatar

Organizations

@WiringPi @CS-DS-125
Block or Report

Block or report liffiton

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned

  1. Arduino-Cheat-Sheet Arduino-Cheat-Sheet Public

    A cheat sheet for Arduino programming.

    138 48

  2. Gen-Ed Gen-Ed Public

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

    Python 7 3

  3. MARCO MARCO Public

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

    C++ 17 3

  4. dokuwiki-plugin-mathjax dokuwiki-plugin-mathjax Public

    MathJax plugin for DokuWiki

    PHP 12 10

  5. PyMiniSolvers PyMiniSolvers Public

    A Python API for the MiniSat and MiniCard constraint solvers.

    C++ 20 6

  6. minicard minicard Public

    MiniCard: An efficient cardinality solver based on MiniSAT

    C++ 17 9