Alternatives and similar repositories for jigsaw-puzzle-solver:

Users that are interested in jigsaw-puzzle-solver are comparing it to the libraries listed below

• algorithmica-org / articles
  Yet another Computer Science website
  ☆25Updated 3 years ago
• VArtem / lean-itmo
  ☆11Updated 3 years ago
• danlark1 / quadratic_strict_weak_ordering
  ☆31Updated last year
• 0xd34df00d / fizzbuzz-i
  FizzBuzz, formally verified, provably correct
  ☆26Updated 2 years ago
• bravit / idris-cs-hse
  «Функциональное программирование с зависимыми типами на языке Idris» — мини-курс на ФКН ВШЭ
  ☆46Updated 7 years ago
• bntre / visual-lambda
  Visual environment for manipulation the lambda calculus expressions
  ☆25Updated last year
• peltorator / peltorator-cp-book
  Сборник статей по спортивному программированию 2.0
  ☆22Updated 3 years ago
• blanchette / logical_verification_2023
  Hitchhiker's Guide to Logical Verification (2023 Edition)
  ☆100Updated last year
• prathyvsh / morphisms-of-computational-structures
  A visual catalogue + story of morphisms displayed across computational structures.
  ☆123Updated 2 years ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆246Updated 3 weeks ago
• betaveros / paradoc
  GolfScript/CJam-inspired stack-based programming language that can be golfed or written literately*
  ☆102Updated 3 years ago
• serokell / hse-haskell-course-src
  Haskell course in the Higher School of Economics
  ☆21Updated 3 years ago
• meithecatte / rustc-sat
  Makes rustc's exhaustiveness checker solve SAT problems
  ☆15Updated 3 years ago
• ibessonov / tm
  Generator of Turing Machines that run on Java generic types
  ☆10Updated 7 years ago
• eterevsky / beaver
  A solver for halting problem of Brainfuck programs
  ☆17Updated 5 years ago
• FormalLanguageConstrainedPathQuerying / formal-lang-course
  Курс по формальным языкам: шаблон для домашних работ + материалы
  ☆7Updated last month
• purplesyringa / blazingio
  Ridiculously fast <iostream> re-implementation
  ☆44Updated 3 months ago
• japiirainen / fp
  A small, weird and unpractical programming language.
  ☆103Updated last week
• petr-kalinin / algoprog
  ☆41Updated last month
• SomewhatML / sml-compiler
  A compiler for Standard ML, somewhat
  ☆202Updated 3 years ago
• rocq-community / fav-ssr
  Functional Data Structures and Algorithms in SSReflect [maintainer=@clayrat]
  ☆47Updated 3 months ago
• dwrensha / acronymy-assistant
  interactive backronym composition tool
  ☆26Updated last month
• aodhneine / crusty
  Experimental Rust compiler in pure C.
  ☆12Updated 4 years ago
• flyspeck / flyspeck
  The formal proof of the Kepler conjecture
  ☆155Updated 11 months ago
• afrolovskiy / compilers_labs
  ☆17Updated 11 years ago
• sligocki / busy-beaver
  Tools for finding Busy Beaver Turing Machines and Proving others as non-halting
  ☆37Updated last month
• andrejbauer / mathematics-and-computation
  Andrej Bauer's blog "Mathematics and Computation"
  ☆51Updated last year
• leanchess / leanchess
  The world's smallest chess program
  ☆94Updated 5 years ago
• nixpulvis / lalrpop-lambda
  A λ-calculus grammar/interpretor written using LALRPOP and `λ!`.
  ☆84Updated 11 months ago
• alilleybrinker / possiblerust
  Teaching Rust, sharing patterns, and exploring real-world code.
  ☆14Updated 3 years ago