hakank/hakank

My public programs and models - mostly combinatorial problems and puzzles

Language: JavaScript - Size: 58.8 MB - Last synced at: 7 days ago - Pushed at: 16 days ago - Stars: 376 - Forks: 77

DestyNova/advent_of_code_2021

Solutions to the Advent of Code 2021 puzzles. All but one are in Haskell, with one or two Rust/Python versions, and day 24 needed the power of Picat.

Language: Haskell - Size: 124 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 8 - Forks: 0

yurrriq/advent-of-code

Semi-literate polyglot solutions to Advent of Code problems.

Language: Haskell - Size: 2.4 MB - Last synced at: about 2 months ago - Pushed at: 2 months ago - Stars: 5 - Forks: 1

lparolari/setlog-picat

Pure implementation of {log} in Picat, a logic language.

Language: Prolog - Size: 162 KB - Last synced at: 8 days ago - Pushed at: about 4 years ago - Stars: 2 - Forks: 0

abeaumont/aur-picat

AUR package for Picat

Language: Shell - Size: 7.81 KB - Last synced at: about 2 months ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 0

lparolari/bachelor-thesis

Bachelor thesis: design and implementation in Picat of a set constraint solver.

Language: TeX - Size: 373 KB - Last synced at: 8 days ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0

FuzzyNovaGoblin/picat_connect4 📦

Size: 8.79 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

DestyNova/advent_of_code_2015

Solving the 2015 Advent of Code puzzles with Picat

Language: Shell - Size: 145 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

tongjy/aoc

aoc

Language: Jupyter Notebook - Size: 277 KB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

boltomli/PicatEuler

ProjectEuler spoiler based on Picat with pen and paper.

Language: Python - Size: 10.7 KB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

lparolari/bachelor-thesis-presentation

My bachelor thesis presentation.

Language: TeX - Size: 62.5 KB - Last synced at: 8 days ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0