MFaisalZaki

MFaisalZaki's Stars

• microsoft/generative-ai-for-beginners

  21 Lessons, Get Started Building with Generative AI 🔗 https://microsoft.github.io/generative-ai-for-beginners/

  Language:Jupyter Notebook70.8k64813836.7k

• R-O-C-K-E-T/Factorio-SAT

  Enhancing the Factorio experience with SAT solvers

  Language:Python71891818

• jasonrute/puzzle_cube

  Solving the Rubik's cube with deep reinforcement learning and Monte Carlo tree search

  Language:Python9811123

• albertocasagrande/pyModelChecking

  A Python model checking package

  Language:Python645711

• utwente-fmt/ltsmin

  The LTSmin model checking toolset

  Language:C571316830

• damat-le/gym-simplegrid

  Simple Gridworld Gymnasium Environment

  Language:Python482212

• ucsb-seclab/chainreactor

  ChainReactor is a research project that leverages AI planning to discover exploitation chains for privilege escalation on Unix systems. The project models the problem as a sequence of actions to achieve privilege escalation from initial access to a target system.

  Language:PDDL42910

• SUSTechGameAI/GameAIPlatforms

  Game-based AI Platforms

  20302

• whitemech/Plan4Past

  Classical and FOND Planning for Pure-Past Linear Temporal Logic Goals

  Language:Python17282

• jendrikseipp/scorpion

  Classical planning system featuring (saturated) cost partitioning

  Language:C++14338

• Kurorororo/numeric-fast-downward

  Language:C++12314

• jinnaiyuu/Atari-iterative-width

  Dominated Action Sequence Detection for Online Blind Planning applied in Arcade Learning Environment (Atari)

  Language:C++6200

• Montimage/mmt-security

  A linear-temporal-logic rule-based engine for the detection of cyber attacks and protocol anomalies.

  Language:C6630

• heshrobe/attack-planning

  Language:Common Lisp5300

• aig-upf/pi-IW

  Implementation of Deep Policies for Width-Based Planning in Pixel Domains

  Language:Python4712

• debbynirwan/pacman-ai-cpp

  A software framework to learn algorithms like AI planning, behaviour trees, and reinforcement learning.

  Language:C++4200

• qed-lab/belief-intention-compilation

  A compiler that will convert Belief and Intentional PDDL into a form that can be handled by an intentional Planner such as Glaive

  Language:Python40

• qhho/LTLGaussianBeliefTrees

  Language:C++4100

• alexEnsimag/planning-for-syscall-monitoring

  Git repository of the research paper "A Planning Approach to Monitoring Computer Program's Behavior"

  Language:Jupyter Notebook33

• clinaresl/ksearch

  Implementation of a number of search algorithms to compute K (non-simple) optimal paths. It provides both brute-force and heuristic search variants.

  Language:C++3101

• pyokopyoko-ai/awesome-game-ai

  A list of interesting documents, repositories, etc. about Artificial Intelligence in games. 一些关于游戏人工智能的资料

  31

• rickvalenzano/arvandherd2014

  Source code for ArvandHerd, which won the multi-core track of the 2014 International Planning Competition.

  Language:C++3

• ssardina-agts/agtcity-pddl

  PDDL models for MAC Agents in City

  3100

• dialogue-planning/conversation-alignment

  Conversation alignment for debugging dialogue-as-planning agents.

  Language:PDDL2110

• pyPMT/pyPMT

  A Python library for Planning Modulo Theories using SMT

  Language:Python20

• drwiner/BiPOCL

  A decompositional plan generation algorithm for constructing computational models of narrative: 1) storyworld and 2) discourse

  Language:Python1

• LBonassi95/PAC-C

  Language:Python1101

• Maurits825/factorio-microcontroller

  A microcontroller made in the game Factorio.

  Language:Python1

• rhaps0dy/IW

  Iterated Width on ALE

  Language:C++110

• ronwalf/CLLaMP

  Implementation of "Using Large Language Models to Extract Planning Knowledge from Common Vulnerabilities and Exposures," the vast majority by Tim Oates

  Language:Jupyter Notebook1101