claudiosa

claudiosa's Stars

• LogtalkDotOrg/logtalk3

  Logtalk - declarative object-oriented logic programming language

  Language:Prolog41430

• d-krupke/cpsat-primer

  The CP-SAT Primer: Using and Understanding Google OR-Tools' CP-SAT Solver

  Language:Jupyter Notebook32533

• Z3Prover/z3

  The Z3 Theorem Prover

  Language:C++10.2k1.5k

• LibreELEC/LibreELEC.tv

  Just enough OS for KODI

  Language:Makefile2.2k1.1k

• ophub/amlogic-s9xxx-armbian

  Support for Armbian in Amlogic, Rockchip and Allwinner boxes. Support a311d, s922x, s905x3, s905x2, s912, s905d, s905x, s905w, s905, s905l, rk3588, rk3568, rk3399, rk3328, h6, etc.

  Language:Roff5.8k1.9k

• careermonk/data-structures-and-algorithms-made-easy

  Data Structures And Algorithms Made Easy

  Language:C471254

• vlang/v

  Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. Supports automatic C => V translation. https://vlang.io

  Language:V35.7k2.2k

• coin-or/pulp

  A python Linear Programming API

  Language:Python2.1k381

• claudiosa/CCS

  Programming languages: MiniZinc, Prolog, Eclipse_CP, Picat, Haskell, C++, C, bash etc

  Language:TeX3617

• vsoch/clingo-lessons

  Slowly learning clingo, and writing notebooks that walk you through logic programs (under development)

  Language:Jupyter Notebook31

• hakank/hakank

  My public programs and models - mostly combinatorial problems and puzzles

  Language:JavaScript36475

• armbian/build

  Armbian Linux build framework generates custom Debian or Ubuntu image for x86, aarch64, riscv64 & armhf

  Language:Shell4k2.3k

• armbian/documentation

  Armbian Linux Documentation

  Language:Python181171

• armbian/config

  Armbian Linux configuration utility

  Language:Shell459162

• bbidulock/icewm

  A window manager designed for speed, usability, and consistency

  Language:C++58699

• SWI-Prolog/swipl-devel

  SWI-Prolog Main development repository

  Language:C948171