Alternatives and similar repositories for 2048:

Users that are interested in 2048 are comparing it to the libraries listed below

• mast-group / eqnet
  Code related to "Learning Continuous Semantic Representations of Symbolic Expressions" project.
  ☆35Updated 8 years ago
• moyix / fpsmt_gpu
  Solving floating point SMT constraints on a GPU
  ☆48Updated 4 years ago
• petablox / popl2020-artifact
  Artifact package accompanying our POPL 2020 submission titled Provenance-Guided Synthesis of Datalog Programs.
  ☆19Updated 4 years ago
• ml4tp / gamepad
  A Learning Environment for Theorem Proving
  ☆73Updated 2 years ago
• cuplv / dai
  DAI: Demanded Abstract Interpretation
  ☆16Updated 7 months ago
• jjhenkel / code-vectors-artifact
  Artifacts and other data for "Code Vectors: Understanding Programs Through Embedded Abstraced Symbolic Traces"
  ☆22Updated 4 years ago
• MachSMT / MachSMT
  MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers
  ☆23Updated 2 years ago
• kmicinski / program-analysis-examples
  Notes for CIS 700 (Fall '19) at Syracuse U.
  ☆13Updated 5 years ago
• bunelr / GandRL_for_NPS
  Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis
  ☆38Updated 2 years ago
• PL-ML / metal
  Metal: Learning a Meta-Solver for Syntax-Guided Program Synthesis
  ☆15Updated 6 years ago
• tlringer / proof-chat-fun
  playing with gpt4
  ☆14Updated 2 years ago
• praveenkulkarni1996 / awesome-program-synthesis
  An curated list of papers on program synthesis.
  ☆69Updated 5 years ago
• ahorn / native-symbolic-execution-clang
  Source-to-source transformation to call native symbolic execution library and SMT Kit
  ☆32Updated 10 years ago
• Ucombinator / jaam
  JVM Abstracting Abstract Machine
  ☆25Updated 6 years ago
• jku-ssw / gcc-builtin-study
  ☆12Updated 5 years ago
• beala / symbolic
  Symbolic execution engine for toy language.
  ☆51Updated 7 years ago
• jgalenson / codehint
  Eclipse plugin that synthesizes real Java code
  ☆26Updated 10 years ago
• carpedm20 / program-synthesis-rl-tensorflow
  in progress
  ☆72Updated 7 years ago
• amitz25 / PCCoder
  Implementation of the paper "Automatic Program Synthesis of Long Programs with a Learned Garbage Collector"
  ☆49Updated 4 years ago
• karelklic / canal
  Abstract interpreter for real-world application programs
  ☆32Updated 11 years ago
• sameerreddy13 / rlcheck
  RLCheck, QuickCheck + Reinforcement Learning to produce more valid inputs.
  ☆47Updated 3 years ago
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆93Updated 6 years ago
• petablox / petablox
  Main distribution of Petablox
  ☆35Updated 7 years ago
• google-deepmind / card2code
  A code generation dataset for generating the code that implements Hearthstone and Magic The Gathering card effects.
  ☆243Updated 7 years ago
• kmicinski / program-analysis
  Program analysis grad seminar at SU (2019)
  ☆57Updated 5 years ago
• subercui / CodeExp
  ☆16Updated 2 years ago
• guolong-zheng / sling
  ☆19Updated 2 years ago
• abstract-machine-learning / saver
  SVM Abstrac Verifier tool
  ☆12Updated 2 years ago
• jandom-devel / Jandom
  An abstract-interpretation based static analyzer written in Scala.
  ☆33Updated 3 years ago
• plast-lab / cclyzer
  A tool for analyzing LLVM bitcode using Datalog.
  ☆100Updated 4 years ago