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
  ☆147Updated 4 years ago
• jix / sortnetopt
  Lower Size Bounds for Sorting Networks
  ☆46Updated 5 years ago
• diku-dk / futhark-benchmarks
  Various Futhark benchmark programs
  ☆44Updated 3 weeks ago
• empirical-soft / empirical-lang
  A language for time-series analysis
  ☆173Updated 4 years ago
• Gecode / MPG
  Modeling and Programming with Gecode
  ☆50Updated 3 years ago
• sahands / simple-sat
  Simple recursive and iterative SAT solver written in Python.
  ☆123Updated 6 years ago
• conjure-cp / conjure
  Conjure: The Automated Constraint Modelling Tool
  ☆110Updated last week
• PetterS / monolith
  A C++ monorepo for discrete and continuous optimization. Batteries included!
  ☆106Updated 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 5 years ago
• geofflangdale / sheng
  A small DFA for under 16 states
  ☆54Updated 7 years ago
• rose-compiler / rose-develop
  The latest development version of rose. It may not pass all regression tests.
  ☆106Updated 6 years ago
• stlab / eop-parser
  Parser for language from Elements of Programming
  ☆39Updated 12 years ago
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆107Updated last year
• blambov / RealLib
  Library for exact real number computations
  ☆40Updated 10 years ago
• paulcavallaro / systems-programming
  Examples of common systems programming optimizations
  ☆53Updated 4 years ago
• kach / recreational-rosette
  Some fun examples of solving problems with symbolic execution
  ☆116Updated 7 years ago
• bretthall / Wyatt-STM
  Software transactional memory system developed at Wyatt Technology
  ☆30Updated 6 years ago
• patmorin / arraylayout
  Experiments with array layouts for comparison-based searching
  ☆86Updated 2 years ago
• hellige / ccs-cpp
  CCS in C++
  ☆26Updated 2 years ago
• arnoldrobbins / mcilroy-regex
  Doug McIlroy's C++ regular expression matching library
  ☆97Updated 7 years ago
• nehmeier / libieeep1788
  C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic
  ☆50Updated 10 years ago
• unison-code / unison
  Unison's source code
  ☆110Updated last year
• cpitclaudel / z3.wasm
  WASM builds of the Z3 SMT solver
  ☆151Updated 6 years ago
• cheery / chartparser
  Chart parser (Earley SPPF)
  ☆27Updated 7 years ago
• Tipoca / intuitionistic
  Intuitionistic Programming Language
  ☆12Updated 12 years ago
• rewriting / tom
  ☆34Updated 5 years ago
• ot / semi_index
  Implementation of the JSON semi-index described in the paper "Semi-Indexing Semi-Structured Data in Tiny Space"
  ☆58Updated 13 years ago
• andrewcmyers / constrain
  Responsive, animated figures in JavaScript/HTML canvases
  ☆138Updated 2 months ago
• codereport / jsource
  J Language Source Code. Livestream links ⬇️
  ☆38Updated 3 years ago
• REX-Computing / unumjl
  Julia Implementation of Unums
  ☆42Updated 8 years ago