solving

There are 8 repositories under solving topic.

• enzet / symbolic-execution

  History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)

  dynamic-symbolic-executionsymbolic-executionhistorytimelineconcolic-executionconcolicprogram-analysisdynamic-analysissolving
  Language:Kotlin 477

• nghorbani / moshpp

  Motion and Shape Capture from Sparse Markers

  computer-visionmarker-basedmocapsolvingvicon
  Language:Python 186

• microsoft / Zen

  Zen is a constraint solving library for .NET

  verificationconstraintsolvingzen
  Language:C# 75

• byWulf / jigsawlutioner

  Jigsaw puzzle solving algorithm

  jigsawpuzzlesolvingalgorithmimage-recognitionmatching-algorithm
  Language:PHP 10

• EhsanShahbazii / SabzLearn-JavaScript-Problems

  حل سوالات چالش روزانه سبزلرن فرانت اند در نوروز سال ۱۴۰۲. فایل حاوی توضیحات سوالات در سه سطح و پاسخ های آن است.

  csshtmljavascriptjsproblem-solvingproblemssolvingguessquotestrelloanimationcaptchaalgorithmsmusic-playerphonebooktrackerslider
  Language:HTML 10

• shawnkoon / coding-challenge-typescript

  List of coding challenge questions with my solutions using typescript.

  typescriptjavascriptes6algorithmdatastructureproblemsolvingchallengemochachaitdd
  Language:TypeScript 9

• codulluiandrei / pbinfo

  Rezolvări PBinfo

  cpppbinfoproblemsolving
  Language:C++ 8

• deprekate / fastpath

  A program to find the path through a network of nodes.

  fastpathgraphweightbellman-forddigraphedgessolvingshortest-path
  Language:C 7

• shahradelahi / quera-solutions

  پاسخ های برخی از سوالات در کوئرا

  answersproblemsprogrammingquerasolving
  Language:Python 7

• satcompetition / 2021

  SAT Competition 2021

  satsolvingcompetition
  Language:HTML 5

• maximaximal / QuAPI

  Library and tool to add assumption-support to generic SAT or QBF solver binaries using automated fork()ing and LD_PRELOAD

  apiinterfacelinuxpreloadqbfsatsolversolving
  Language:C++ 4

• turhancan97 / Object-Oriented-Programming-Cpp

  This repo contains questions and solutions of problems in C++ programming language.

  cppobject-oriented-programmingalgorithmsproblemsolving
  Language:C++ 4

• ghdcksgml1 / Baekjoon-Problems

  백준 문제 푼 것들 정답

  baekjoonproblemssolvingjavaboj
  Language:C++ 3

• ibhawanagaur / Problem-Solving-Using-Java

  The focus of this repository is on using Java as a tool for solving problems and improving problem-solving skills.

  arraysbeginnerconditional-statementsdata-typeflowchartfunctionsjavalearningloopsoperatorsproblemprogrammingsolvingstringobject-oriented-programmingoops-in-javasearching-sorting
  Language:Java 3

• Implex-ltd / crapsolver

  Golang wrapper of crapsolver API

  captchacrapsolverfuncaptchahcaptchasolversolving
  Language:Go 3

• samiBendou / meca3

  3D space and physics engine for point's mechanics

  mathsmechanicsphysicsphysics-simulationphysics-enginetrajectory-generationsolvingode-solvervectormatrix3d
  Language:TypeScript 3

• tiarebalbi / interview-problem-solving

  Sample Questions usually presented during interviews to check your problem solving skills.

  binary-searchinterviewjavakotlinmerge-sortproblemproblem-solvingsolving
  Language:Kotlin 3

• aria3211 / SPQ

  Solve programming questions with a bit of fun and excitement

  solvingpractice-programmingprogrammingspqalgorithmsalgorithms-and-data-structures
  Language:Python 2

• CodingwithIITian007 / 50-Days-Of-Solving-C-

  It's MahaCodeDays.

  solvingcppclanguage
  2

• Dxmonski / gosolver

  An efficient and easy to use multi captcha solver made in Golang.

  capsolvercaptchacaptcha-solvercaptchasolverdiscord-solverdiscord-solver-unflaggeddiscord-toolgolanggolang-toolgolang-toolshcaptchahcaptcha-solversolversolving
  Language:Go 2

• jfmartinz / CodewarSolution

  Welcome to my CodeWars Solutions Repository! This repository serves as a collection of my solutions to various coding challenges from CodeWars.

  codewars-katajavascriptkatakatascodewarscodewars-challengescodewars-javascriptcodewars-kata-solutioncodewars-solutionscompilationproblem-solvingsolutionsolvingdsadsa-practicees6-javascript
  Language:JavaScript 2

• Sigm0oid / Algorithms-DataStructures

  A repository that contains a selection of problem solved during the preparation of several Online and Onsite Problem solving competitions

  problemsolvingtcpcalgorithmgraphdynamicprogramming
  Language:C++ 2

• SReject / jassl

  Just Another Sudoku Solving Library

  ecmascriptesjavascriptjsnodenodejssolversolvingsudokutracktrackertracking
  Language:JavaScript 2

• Taeseo06 / AlgorithmSolving

  백준 알고리즘 문제를 풀이한 코드를 저장하는 저장소

  algorithmsolving
  Language:Python 2

• beomjookim / Algorithms_Data-Structure

  solving leetcode problems, preparing coding interviews

  solvingleetcodeproblemsforgooglefacebookamazonapplemicrosoftqualcomm
  1

• bgb10 / tetris-with-simple-AI

  Tetris AI with self-made simple tetris-solving algorithm for Class : 2019-2 Programming

  aitetrissolvingalgorithmclass-programming
  Language:C 1

• bidyashish / codewars

  Codewars Challenges and snippets | Technical Questions | Arrays

  nodejschallengessolvingtechnical-coding-interviewtechnicaljavascriptes6arrays
  Language:JavaScript 1

• cheatsnake / lodash-practice

  📘 Independent implementation of functions from the Lodash library on Typescript

  lodashlodash-implementsolvingproblem-solving
  Language:TypeScript 1

• chriskonnertz / BinPacking

  Examples of algorithms that solve the bin packing problem implemented in Kotlin

  algorithmbin-packingbinpackingexamplefirst-fitfirst-fit-decreasingkotlinoptimizationsolving
  Language:Kotlin 1

• dev-xero / leet-code-easy-questions

  My solutions for leetcode easy-rated questions

  algorithmsalgorithms-and-data-structuresdata-structuresleet-codeleetcode-pythonleetcode-solutionspythonpython-3python-scriptpython3solving
  Language:Python 1

• GRVigo / SpeedSolving-Master

  SpeedSolving Master, an application for solving the Rubik's cube. You should be familiar with the notation to understand this program.

  rubikscubesolving
  Language:C++ 1

• kevduc / diophantine

  🧮 Solve linear Diophantine equations of the form ax + by = c

  mathsmathematicsdiophantinediophantine-solverdiophantine-equationdiophantine-equationsequationequationsequation-solverequations-solversolvesolversolvingsolving-algorithmlinearlinear-equationlinear-equationslinear-equation-solverlinear-equations-solutionlinear-solutions
  Language:JavaScript 1

• Maximus220 / maze-solver

  🔐 Maze generation and solving with customizable parameters.

  solvermazejsp5p5jscustomgenerationsolvesolvingcustomizablewebsite
  Language:JavaScript 1

• gonzaloccnc / codember

  My solutions about codember challenges

  javajunitsolvingsolving-algorithmsolving-problemstestingtypescriptvitest
  Language:Java 0

• jens-markussen / GadeSolverApp

  Try to brute-force solve Geocaching puzzle using the Gade method

  gadegeocachingjavasolvingpuzzle-solver
  Language:Java 0

• Rana16468 / mongodb-all-comment

  PROBLEM SOLVING CODE IN MONGODB

  basicmongodbproblemsolving
  Language:TypeScript