serhez

dotfiles

Configuration of my working environment.

mloggers

A pip package of loggers well-suited for machine learning experiments.

modal-theorem-prover

My final year project at UCL. A Modal Logic Theorem Prover.

nvim-config

My neovim config.

adamant

A competitive tactical MOBA game.

arduino-morse

A morse code emulator designed for the Engduino/Arduino.

bufman.nvim

Bufman, the buffer manager 🦸‍♂️

cellular-automaton

A dimension-agnostic cellular automaton.

chess

Minimalist chess.

competitive

Templates, resources and solved problems for competitive programming.

foundu

A platform for the curious.

wikilinks

What are the most referenced external resources in Wikipedia?

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

fonts

My patched fonts.

ml-lib

Machine learning library focused on exploration, experimentation and education

molle-adapter

An adapter for the Molle Theorem Prover.

muso

A Spotify wrapper with a more interactive navigation system and a social touch.

nba-predictor

A prediction system for NBA games.

oyster

A concurrency Java exercise based on Transport for London's Oyster system.

ParchmentWebsite

portfolio

Contains the progress and results of a project aimed at improving energy resources and use in rural China.

predicate-logic-proof-system

A proof system for predicate logic which can tell you if a given formula is satisfiable or not.

react-boolean-calculator

A boolean calculator web app based on the React framework.

requirement-solver

A graphical solver of tree-like objects with temporal requirements between them.

serhez

smart-cart

Web site which makes suggestions based on previous items selected. Made in TADHack London 2016.

tapp

A stupid game and a communication system at the same time.

trit

A MacOS project management tool based on visual trees of tasks.

validity-analysis