Alternatives and similar repositories for sudoku-example

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

• rose-compiler / rose-develop
  The latest development version of rose. It may not pass all regression tests.
  ☆107Updated 6 years ago
• empirical-soft / empirical-lang
  A language for time-series analysis
  ☆174Updated 4 years ago
• master-keying / minisat
  A minimalistic and high-performance SAT solver
  ☆146Updated 3 years ago
• conjure-cp / conjure
  Conjure: The Automated Constraint Modelling Tool
  ☆105Updated 2 weeks ago
• Gecode / MPG
  Modeling and Programming with Gecode
  ☆51Updated 2 years ago
• kach / recreational-rosette
  Some fun examples of solving problems with symbolic execution
  ☆114Updated 7 years ago
• diku-dk / futhark-benchmarks
  Various Futhark benchmark programs
  ☆42Updated this week
• 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
• uwplse / herbgrind
  A Valgrind tool for Herbie
  ☆94Updated 2 years ago
• geofflangdale / sheng
  A small DFA for under 16 states
  ☆51Updated 7 years ago
• jix / sortnetopt
  Lower Size Bounds for Sorting Networks
  ☆46Updated 4 years ago
• MiniZinc / minizinc-examples
  small MiniZinc examples demonstrating various language features
  ☆125Updated 7 years ago
• stlab / eop-parser
  Parser for language from Elements of Programming
  ☆37Updated 11 years ago
• jamespwilliams / prolog-isolation-checker
  An encoding of the UK's self-isolation rules in Prolog
  ☆34Updated 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.
  ☆105Updated 11 months ago
• ashutoshbsathe / yacv
  Yet Another Compiler Visualizer
  ☆159Updated 3 years ago
• awto / chr2sql
  CHR2 to SQL conversion
  ☆14Updated 9 years ago
• GJDuck / libf
  C++ as a Pure Functional Programming Language
  ☆189Updated 6 years ago
• hellige / ccs-cpp
  CCS in C++
  ☆26Updated 2 years ago
• verse-lab / ceramist
  Verified hash-based AMQ structures in Coq
  ☆124Updated 5 years ago
• jkff / ire
  Incremental regular expression matching
  ☆53Updated 12 years ago
• senderista / hashtable-benchmarks
  An Evaluation of Linear Probing Hashtable Algorithms
  ☆32Updated last year
• LiveAsynchronousVisualizedArchitecture / lava
  Live Asynchronous Visualized Architecture
  ☆97Updated 6 years ago
• tjitze / ranked-programming
  Ranked Programming Extension for Racket
  ☆54Updated 5 years ago
• quux00 / PlusCal-Examples
  Algorithm examples in PlusCal, the algorithm language of Lamport's TLA+
  ☆61Updated 10 years ago
• animetosho / jit_smc_test
  Test self-modifying code behaviour on processors for single-use JIT functions
  ☆53Updated 5 years ago
• c0stya / brzozowski
  Brzozowski derivative python sketch
  ☆85Updated 4 months ago
• oils-for-unix / blog-code
  Code for http://oilshell.org/blog/
  ☆50Updated 2 months ago
• andrewcmyers / constrain
  Responsive, animated figures in JavaScript/HTML canvases
  ☆134Updated 2 months ago
• arnoldrobbins / mcilroy-regex
  Doug McIlroy's C++ regular expression matching library
  ☆95Updated 7 years ago