lorensipro

lorensipro's Stars

• konrad-gajdus/miniMNIST-c

  Language:C96496

• francescosecci/Python_Image_Failures

  Language:Python2910

• karpathy/llm.c

  LLM training in simple, raw C/CUDA

  Language:Cuda23.7k2.6k

• lorensipro/website-afpc

  Site web de l'AFPC

  Language:HTML52

• audemard/glucose

  The glucose SAT solver

  Language:C++7213

• locuslab/SATNet

  Bridging deep learning and logical reasoning using a differentiable satisfiability solver.

  Language:Python40152

• DGAC/inseca

  INSECA is a set of tools to build and manage very secure live Linux based endpoint systems.

  Language:Python212

• NeuroSharp/learningCNF

  This is the repository for the AAAI 2021 paper: Learning Branching Heuristic for Propositional Model Counting (https://www.aaai.org/AAAI21Papers/AAAI-10022.VaezipoorP.pdf)

  Language:Python5

• jesse-michael-han/neuro-cadical

  CaDiCaL + neural glue variable predictions

  Language:Python92

• xcsp3team/pycsp3

  A Python Library for modeling combinatorial constrained problems

  Language:Python619

• CompVis/stable-diffusion

  A latent text-to-image diffusion model

  Language:Jupyter Notebook67.8k10.1k

• meelgroup/manthan

  Manthan for Boolean function synthesis

  Language:Python287

• genchang1234/How-to-cheat-in-computer-science-101

  Language:C++29528

• mpelleau/FunCS

  A toolbox for fun scientific dissemination in Computer Science

  Language:TeX2

• py-why/dowhy

  DoWhy is a Python library for causal inference that supports explicit modeling and testing of causal assumptions. DoWhy is based on a unified language for causal inference, combining causal graphical models and potential outcomes frameworks.

  Language:Python7k924

• Textualize/rich

  Rich is a Python library for rich text and beautiful formatting in the terminal.

  Language:Python49.1k1.7k

• Theomat/PSEAS

  Code for the paper Statistical Comparison of Algorithm Performance Through Instance Selection

  Language:Python2

• hoffstadt/DearPyGui

  Dear PyGui: A fast and powerful Graphical User Interface Toolkit for Python with minimal dependencies

  Language:C++13k678

• nicolasprevot/GpuShareSat

  Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.

  Language:C++311

• toulbar2/toulbar2

  Exact optimization for cost function networks and additive graphical models

  Language:C++5112

• DavidVentura/UxPlay

  AirPlay Unix mirroring server

  Language:C62

• conp-solutions/mergesat

  configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se)

  Language:C++403

• Ludeme/LudiiAICompetition

  Repository for the Ludii AI Competition

  326

• mpelleau/SEA-2021

  Language:Dockerfile1

• marijnheule/CnC

  Cube-and-Conquer SAT solver

  Language:C3112

• mpelleau/AbSolute

  Constraint solver based on abstract domains

  Language:OCaml297

• aelkhamsi/BNN_explainability

  Language:Jupyter Notebook1

• scriptburn/git-auto-deploy

  Deploy your GitHub, GitLab or Bitbucket projects automatically on Git push events or web hooks

  Language:PHP31270

• QuMuLab/dsharp

  Language:C++165

• AlbanBedel/scummc

  A Scumm Compiler

  Language:C12919