Sergio Hernández Gutiérrez's repositories
modal-theorem-prover
My final year project at UCL. A Modal Logic Theorem Prover.
nvim-config
My neovim config.
serhez.github.io
My personal website.
arduino-morse
A morse code emulator designed for the Engduino/Arduino.
bufman.nvim
Bufman, the buffer manager 🦸♂️
cellular-automaton
A dimension-agnostic cellular automaton.
competitive
Templates, resources and solved problems for competitive programming.
bo-mat
Bayesian optimization Python package.
cpp-template-project
A template for new C++ projects.
ETH-housing-bot
A bot to find and apply to selected housing options at ETH Zurich
gait-track-envs
Co-adaptation Mujoco environments Python package.
lcommon
A collection of common internal utilities and definitions to support the packages `lmodels` and `lmethods`.
muso
A Spotify wrapper with a more interactive navigation system and a social touch.
nba-predictor
A prediction system for NBA games.
react-boolean-calculator
A boolean calculator web app based on the React framework.