Pinned Loading

1. hpi-schul-cloud/schulcloud-client hpi-schul-cloud/schulcloud-client Public

   Schulcloud-Verbund-Software-Client

   Handlebars 35 13

2. clingo clingo Public

   Forked from potassco/clingo

   🤔 A grounder and solver for logic programs.

   C++ 1

3. neorv32 neorv32 Public

   Forked from stnolting/neorv32

   A size-optimized, customizable full-scale 32-bit RISC-V soft-core CPU and SoC written in platform-independent VHDL.

   VHDL

4. asp-language-support asp-language-support Public

   A VSCode Extension that uses the Clingo Answer Set Solver (bundled), developed by Potassco (University of Potsdam).

   JavaScript 10 3