Martin1887/oxigen
Fast, parallel, extensible and adaptable genetic algorithms framework written in Rust
Repositories
Martin1887/dotfiles
Configuration files for several applications, for stow and home-manager
Martin1887/qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
Martin1887/NixOS_template
Template for a modularized NixOS configuration with flakes heavily inspired by trilby
Martin1887/nixos_commitconf2026
Transparencias de la charla sobre NixOS en la Commit Conf 2026
Martin1887/CobraKaiFira
Theme for Logseq
Martin1887/devenv_templates
Devenv templates for different programming languages
Martin1887/mdbook-pandoc
Pandoc backend for mdBook
Martin1887/scorpion
Classical planning system featuring (saturated) cost partitioning
Martin1887/melangeDarkerWarm-nvim
🗡️ Warm color scheme for Neovim and beyond. Darker and warmer melange variant.
Martin1887/dotenv
Configuration files for several applications. Deprecated in favour of https://github.com/Martin1887/dotfiles, with a stow-compatible structure
Martin1887/texlab
An implementation of the Language Server Protocol for LaTeX
Martin1887/lab
Lab is a framework for evaluating planners and other solvers.
Martin1887/scp_merge_and_shrink
Import of IJCAI 2020 Sievers et al Zenodo code with h2 preprocessor and modern compilers compilation errors
Martin1887/scorpion-factored
Copy of https://zenodo.org/records/10794291 code without history (repository not found)
Martin1887/metis1
Fork of https://bitbucket.org/ipc2018-classical/team21 to fix Metis1 compilation errors in new compilers
Martin1887/Q-Synth
Tools for quantum circuits synthesis, optimization and others.
Martin1887/lab-htcondor-environment
HTCondor environment for Lab and Downward Lab
Martin1887/downward
The Fast Downward domain-independent classical planning system
Martin1887/broot.nvim
Neovim plugin for broot
Martin1887/barbar.nvim
The neovim tabline plugin.
Martin1887/pulldown-cmark
Martin1887/Rocket
A web framework for Rust.
Martin1887/VSCodeThemes
Themes for Visual Studio Code
Martin1887/marketplace
A centralized packages manager for Logseq marketplace plugins.
Martin1887/pandoc
Universal markup converter
Martin1887/pandoc-templates
Templates for pandoc, tagged to release
Martin1887/kmbeamer
My themes for Beamer.
Martin1887/rust-introduction-workshop
Martin1887/symbolic-osp
Sym-Osp is a state-of-the-art optimal oversubscription planner based on symbolic search.