Pinned Repositories
camaLESS
JS library for customizable color themes
dotfiles
Configuration files for several applications, for stow and home-manager
lab-htcondor-environment
HTCondor environment for Lab and Downward Lab
oxigen
Fast, parallel, extensible and adaptable genetic algorithms framework written in Rust
RAEfox
RAEfox is an open source application under Apache 2.0 license that allows an offline definition search in the castilian dictionary from Wiktionary.
Rocket
A web framework for Rust.
rust-brotli
Brotli decompressor written in rust that optionally avoids the stdlib
scorpion
Classical planning system featuring (saturated) cost partitioning
VSCodeThemes
Themes for Visual Studio Code
pulldown-cmark
An efficient, reliable parser for CommonMark, a standard dialect of Markdown
Martin1887's Repositories
Martin1887/oxigen
Fast, parallel, extensible and adaptable genetic algorithms framework written in Rust
Martin1887/camaLESS
JS library for customizable color themes
Martin1887/RAEfox
RAEfox is an open source application under Apache 2.0 license that allows an offline definition search in the castilian dictionary from Wiktionary.
Martin1887/lab-htcondor-environment
HTCondor environment for Lab and Downward Lab
Martin1887/rust-introduction-workshop
Martin1887/atom-lava-syntax
Atom Lava syntax theme darker and a bit more coloured - nice and warm
Martin1887/CobraKaiFira
Theme for Logseq
Martin1887/dotenv
Configuration files for several applications. Deprecated in favour of https://github.com/Martin1887/dotfiles, with a stow-compatible structure
Martin1887/dotfiles
Configuration files for several applications, for stow and home-manager
Martin1887/lab
Lab is a framework for evaluating planners and other solvers.
Martin1887/mdbook-pandoc
Pandoc backend for mdBook
Martin1887/melangeDarkerWarm-nvim
🗡️ Warm color scheme for Neovim and beyond. Darker and warmer melange variant.
Martin1887/RAEfox-Android
Android application for RAEfox
Martin1887/awesome-cpp
A curated list of awesome C++ (or C) frameworks, libraries, resources, and shiny things. Inspired by awesome-... stuff.
Martin1887/awesome-rust
A curated list of Rust code and resources.
Martin1887/pulldown-cmark
Martin1887/scorpion
Classical planning system featuring (saturated) cost partitioning
Martin1887/awesome-snips
A curated list of awesome Snips projects
Martin1887/barbar.nvim
The neovim tabline plugin.
Martin1887/broot.nvim
Neovim plugin for broot
Martin1887/devenv_templates
Devenv templates for different programming languages
Martin1887/downward
The Fast Downward domain-independent classical planning system
Martin1887/kmbeamer
My themes for Beamer.
Martin1887/marketplace
A centralized packages manager for Logseq marketplace plugins.
Martin1887/mdbook_pandoc_pandozed_book
mdbook-pandoc and pandozed book
Martin1887/pandoc
Universal markup converter
Martin1887/pandoc-templates
Templates for pandoc, tagged to release
Martin1887/snips-skill-yeelight
Sniks skill for Yeelight bulbs
Martin1887/symbolic-osp
Sym-Osp is a state-of-the-art optimal oversubscription planner based on symbolic search.
Martin1887/vigaEnIPlatypus
Resolución del problema de optimización multiobjetivo de una viga en forma de I usando Platypus