Martín Pozo

Fast, parallel, extensible and adaptable genetic algorithms framework written in Rust

Devenv templates for different programming languages

Classical planning system featuring (saturated) cost partitioning

Configuration files for several applications, for stow and home-manager

🗡️ Warm color scheme for Neovim and beyond. Darker and warmer melange variant.

Configuration files for several applications. Deprecated in favour of https://github.com/Martin1887/dotfiles, with a stow-compatible structure

An implementation of the Language Server Protocol for LaTeX

Lab is a framework for evaluating planners and other solvers.

Import of IJCAI 2020 Sievers et al Zenodo code with h2 preprocessor and modern compilers compilation errors

Copy of https://zenodo.org/records/10794291 code without history (repository not found)

Fork of https://bitbucket.org/ipc2018-classical/team21 to fix Metis1 compilation errors in new compilers

Tools for quantum circuits synthesis, optimization and others.

HTCondor environment for Lab and Downward Lab

Pandoc backend for mdBook

The Fast Downward domain-independent classical planning system

Neovim plugin for broot

The neovim tabline plugin.

No description provided.

A web framework for Rust.

Themes for Visual Studio Code

Theme for Logseq

A centralized packages manager for Logseq marketplace plugins.

mdbook-pandoc and pandozed book

Universal markup converter

Templates for pandoc, tagged to release

My themes for Beamer.

No description provided.

Sym-Osp is a state-of-the-art optimal oversubscription planner based on symbolic search.

Android application for RAEfox

RAEfox is an open source application under Apache 2.0 license that allows an offline definition search in the castilian dictionary from Wiktionary.