PiotrWarzachowski / MagicSquare-BackTrack
NxN Magic square problem solved, using backtracking technique
☆13Updated 2 years ago
Alternatives and similar repositories for MagicSquare-BackTrack:
Users that are interested in MagicSquare-BackTrack are comparing it to the libraries listed below
- Reversible programming in Agda☆12Updated last year
- GNU Guile Scheme bindings for OCaml☆16Updated 2 years ago
- Push programming language interpreter implemented in Elixir☆13Updated 7 years ago
- Erlang port of the Shen programming language☆26Updated 5 years ago
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22Updated 3 years ago
- poetic concatenative programming language☆10Updated 8 months ago
- A Pythonic implementation of *microkanren* logic language☆10Updated 4 years ago
- scikit-learn for OCaml☆35Updated 4 years ago
- Linear algebra package for Futhark☆17Updated 3 months ago
- MIRROR of https://codeberg.org/catseye/Vinegar : A semi-concatenative language where every operation can fail☆13Updated last year
- Semi-automatically generated Raylib bindings for Racket.☆32Updated 2 weeks ago
- Port of SwiftyKanren to Kotlin☆17Updated 4 years ago
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆16Updated 7 years ago
- Relational interpreter for miniKanren, in miniKanren.☆14Updated 3 years ago
- Another attempt for visualizing proofs☆12Updated 5 months ago
- The Flix Programming Book☆17Updated last week
- A package containing many useful algorithms (borrowed from many other programming languages).☆13Updated last week
- 🧊 TeX-подібна система верстки наукових праць☆19Updated last month
- ☆46Updated 2 months ago
- A list of awesome libraries for BQN.☆32Updated 4 months ago
- S-expression swiss knife☆44Updated 5 months ago
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated 3 months ago
- Lore is a general-purpose programming language featuring multi-functions, structs and traits, a static type system with sum and intersect…☆18Updated last year
- Racket Machine Learning☆13Updated 10 months ago
- OCaml Algorithmic Trading☆17Updated this week
- Web server infrastructure for Standard ML☆13Updated last year
- an implementation of a microKanren(-like language) in miniKanren☆26Updated 10 years ago
- ☆17Updated 3 years ago
- 🐫🎮 OCaml Game Engine☆41Updated last month
- OCANNL: OCaml Compiles Algorithms for Neural Networks Learning☆81Updated 2 weeks ago