Pinned Repositories
advent_of_code_2016
(Attempted) solutions to the Advent of Code 2016 puzzles.
advent_of_code_2020
Collection of solutions for Advent of Code 2020. I usually make it through the first week or so before the difficulty exceeds my intelligence/patience, but this time I went the whole way.
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.
advent_of_code_2022
Solutions to the 2022 Advent of Code puzzles.
advent_of_code_2023
Attempts / solutions to the Advent of Code 2023 puzzles.
blinkenwords-elm
Multi-line rapid serial visual presentation (RSVP) utility.
iconic-memory-game
A "game" allowing you to test the limits of your iconic memory (visual sensory buffer).
pitcher
Experimental game for training perfect pitch, using the WebAudio API for dodgy sound synthesis.
real-world-haskell-exercises
A repo for working through the exercises in the book "Real World Haskell".
svg2mp4
A few scripts for converting animated SVGs to MP4.
DestyNova's Repositories
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.
DestyNova/advent_of_code_2022
Solutions to the 2022 Advent of Code puzzles.
DestyNova/pitcher
Experimental game for training perfect pitch, using the WebAudio API for dodgy sound synthesis.
DestyNova/blinkenwords-elm
Multi-line rapid serial visual presentation (RSVP) utility.
DestyNova/advent_of_code_2016
(Attempted) solutions to the Advent of Code 2016 puzzles.
DestyNova/advent_of_code_2020
Collection of solutions for Advent of Code 2020. I usually make it through the first week or so before the difficulty exceeds my intelligence/patience, but this time I went the whole way.
DestyNova/advent_of_code_2023
Attempts / solutions to the Advent of Code 2023 puzzles.
DestyNova/knight_tour_picat
Experiments with SAT-solving the Knight's Tour problem.
DestyNova/ngn-k-tutorial
An ngn/k tutorial.
DestyNova/nimplication
Toy SAT solver written in Nim.
DestyNova/picat_rational
Small rational arithmetic library for Picat.
DestyNova/advent_of_code_2015
Solving the 2015 Advent of Code puzzles with Picat
DestyNova/acton
The Acton Programming Language
DestyNova/awesome-advent-of-code
A collection of awesome resources related to the yearly Advent of Code challenge.
DestyNova/deap
Distributed Evolutionary Algorithms in Python
DestyNova/DestyNova
DestyNova/fleadh-entry-validator
Tool for first-stage validation of Fleadh entry spreadsheets in your browser.
DestyNova/fun
fun
DestyNova/ink-free
Crisp, minimal personal website and blog theme Hugo, designed for a collaborative, open-source, privacy conscious blog.
DestyNova/learntris-classic-nim
Testing the tanco test runner with learntris-classic in Nim
DestyNova/overto.eu
Static personal site
DestyNova/phoenix_live_view
Rich, real-time user experiences with server-rendered HTML
DestyNova/puzzle-solving
Solutions to various puzzles encountered online. Or at least, one...
DestyNova/pyswip
PySwip is a Python - SWI-Prolog bridge enabling to query SWI-Prolog in your Python programs. It features an (incomplete) SWI-Prolog foreign language interface, a utility class that makes it easy querying with Prolog and also a Pythonic interface.
DestyNova/scc
Sloc, Cloc and Code: scc is a very fast accurate code counter with complexity calculations and COCOMO estimates written in pure Go
DestyNova/tanco
test-driven teaching
DestyNova/thumb-key
A privacy-conscious Android keyboard made for your thumbs
DestyNova/urw-base35-fonts
Repo for URW++ base 35 font set
DestyNova/vfconcat
Input file generator for ffmpeg's concat demuxer.
DestyNova/vim-lsp
async language server protocol plugin for vim and neovim