bminaiev / jigsaw-puzzle-solver
Automatic jigsaw puzzle solver
☆15Updated last year
Related projects ⓘ
Alternatives and complementary repositories for jigsaw-puzzle-solver
- ☆11Updated 3 years ago
- Hitchhiker's Guide to Logical Verification (2023 Edition)☆90Updated last year
- A graphical interactive proof assistant designed for education☆161Updated this week
- A sudoku game where you have to prove that your deductions are valid☆113Updated 2 years ago
- Haskell course in the Higher School of Economics☆21Updated 2 years ago
- Yet another Computer Science website☆24Updated 2 years ago
- The formal proof of the Kepler conjecture☆148Updated 6 months ago
- Special Edition for freshmen ПИ and ИВТ☆10Updated 2 years ago
- A solver for halting problem of Brainfuck programs☆16Updated 4 years ago
- «Функциональное программирование с зависимыми типами на языке Idris» — мини-курс на ФКН ВШЭ☆46Updated 6 years ago
- a tiny tile-based editor☆284Updated this week
- Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT☆125Updated 7 months ago
- Meta-repository for SnipPy☆15Updated 2 years ago
- Metamath Zero specification language☆318Updated this week
- ☆9Updated last year
- Mathematical Components (the Book)☆141Updated last year
- Responsive, animated figures in JavaScript/HTML canvases☆128Updated 2 weeks ago
- ☆8Updated last year
- Statements of famous theorems proven in Coq [maintainer=@jmadiot]☆56Updated 8 months ago
- A formalization of geometry in Coq based on Tarski's axiom system☆186Updated 5 months ago
- Lean documentation authoring tool☆124Updated this week
- A LaTeX Typesetting Game☆243Updated last week
- 7GUIs is a GUI programming usability benchmark.☆138Updated 6 months ago
- A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.☆55Updated 2 years ago
- A visual catalogue + story of morphisms displayed across computational structures.☆122Updated 2 years ago
- Visual environment for manipulation the lambda calculus expressions☆19Updated 10 months ago
- Solving Advent of Code 2022 in OCaml☆19Updated last year
- Programming with pure lambda calculus☆88Updated 2 weeks ago
- Spartan type theory☆257Updated 6 months ago
- Lean 3 material related to Imperial College's "Introduction to University Mathematics" course☆156Updated 8 months ago