Alternatives and similar repositories for sudoku-example

Users that are interested in sudoku-example are comparing it to the libraries listed below

• master-keying / minisat
  A minimalistic and high-performance SAT solver
  ☆144Updated 3 years ago
• lemmy / lets-prove-blocking-queue
  Proving a blocking queue deadlock free in a dozen different ways
  ☆42Updated 7 months ago
• diku-dk / futhark-benchmarks
  Various Futhark benchmark programs
  ☆42Updated 2 weeks ago
• Gecode / MPG
  Modeling and Programming with Gecode
  ☆45Updated 2 years ago
• kach / recreational-rosette
  Some fun examples of solving problems with symbolic execution
  ☆113Updated 6 years ago
• bollu / blaze
  Haskell re-implementation of STOKE, the stochastic superoptimizer
  ☆63Updated 5 years ago
• jix / sortnetopt
  Lower Size Bounds for Sorting Networks
  ☆45Updated 4 years ago
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆104Updated 8 months ago
• geofflangdale / sheng
  A small DFA for under 16 states
  ☆51Updated 7 years ago
• conjure-cp / conjure
  Conjure: The Automated Constraint Modelling Tool
  ☆105Updated last week
• sdiehl / pyrewrite
  Python term rewriting
  ☆29Updated 12 years ago
• det / segmented_tree
  Sequence data structure with efficient random access insert and erase
  ☆13Updated last year
• piantado / enumerateCFG
  Code for enumeration from a CFG
  ☆18Updated last year
• informalsystems / modelator-py
  Utilities for the TLA+ ecoystem and model-based testing using TLA+.
  ☆28Updated 2 years ago
• sahands / simple-sat
  Simple recursive and iterative SAT solver written in Python.
  ☆123Updated 6 years ago
• quux00 / PlusCal-Examples
  Algorithm examples in PlusCal, the algorithm language of Lamport's TLA+
  ☆61Updated 10 years ago
• rutgers-apl / TaskProf
  A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs
  ☆13Updated 7 years ago
• rutgers-apl / rlibm-32
  RLibm for 32-bit representations (float and posit32)
  ☆61Updated 3 years ago
• kristiandupont / rtasm
  Runtime Assembler for C++
  ☆13Updated last year
• noway / yagrad
  yet another scalar autograd engine - featuring complex numbers and fixed DAG
  ☆26Updated last year
• leni536 / fast_hilbert_curve
  Fast caclulation of the coordinates of the nth point of the Hilbert curve
  ☆17Updated 6 years ago
• bretthall / Wyatt-STM
  Software transactional memory system developed at Wyatt Technology
  ☆29Updated 5 years ago
• unison-code / unison
  Unison's source code
  ☆107Updated last year
• skeeto / carpet-fractal-genetics
  Carpet fractal genetic algorithm
  ☆12Updated 7 years ago
• patmorin / arraylayout
  Experiments with array layouts for comparison-based searching
  ☆84Updated last year
• hellige / ccs-cpp
  CCS in C++
  ☆25Updated last year
• plops / cl-cpp-generator
  another lisp library to generate c/c++ code. this one is supposed to be very simple. note that development of this repo has stopped. i am…
  ☆65Updated 4 years ago
• senderista / hashtable-benchmarks
  An Evaluation of Linear Probing Hashtable Algorithms
  ☆31Updated last year
• animetosho / jit_smc_test
  Test self-modifying code behaviour on processors for single-use JIT functions
  ☆52Updated 4 years ago
• uwplse / synapse
  Optimizing Synthesis with Metasketches, POPL 2016
  ☆23Updated 8 years ago