Your use of the packages on this site means you understand they are not supported or guaranteed in any way. Due to the nature of a public repository and unreliability due to distribution rights, these packages should not be used as is for organizational purposes either. Learn more.

  1. C:\> choco install sgt-puzzles

    Package testing. See package page for more details. Simon Tatham's Portable Puzzle Collection 2019.04.15

    By:

    From Simon Tatham: "I wrote this collection because I thought there should be more small desktop toys available: little games you can pop up in a window and play for two or three minutes while you take a break from whatever else you were doing. And I was also annoyed that every time I found a good game on (say) Unix, it wasn't available the next ti... More information

  2. C:\> choco install swi-prolog

    Package testing. See package page for more details. SWI-Prolog 8.0.2.1

    By:

    SWI-Prolog offers a comprehensive free Prolog environment. Since its start in 1987, SWI-Prolog development has been driven by the needs of real world applications. SWI-Prolog is widely used in research and education as well as commercial applications. Join over a million users who have downloaded SWI-Prolog.

  3. C:\> choco install logiccards-chrome

    Package testing. See package page for more details. LogicCards Chrome Extension 1.0.0.2

    By:

    ![Screenshot of LogicCards Chrome Extension](https://lh3.googleusercontent.com/GOtLeNonGWqRNzHjWFsheFWao1jHcltd2mLzoUBmHu4fb3yCoBjxQevCIg25YzNjyGAaovkH) # LogicCards provides dynamic notifications for the LogicNow platform LogicCards, the latest addition to Max RM’s (now SolarWinds MSP) tool set, brings the power of data driven intelligence to yo... More information

  4. C:\> choco install logisim-evolution

    Package testing. See package page for more details. Logisim Evolution 2.15.0

    By:

    Logisim is an educational tool for designing and simulating digital logic circuits. It has been originally created by [Dr. Carl Burch](http://www.cburch.com/logisim/) and actively developed until 2011. After this date the author focused on other projects, and recently the development has been officially stopped [(see his message here)](http://www.... More information