Manuel Brea Carreras Claim this profile

Animation graphs in Bevy!

🎆 CPU-driven, batch-rendered particle system for the Bevy game engine.

Math, geometric and interpolation utilities to make bevy programmers happier.

A declarative, component-based, React-like UI framework for Neovim plugins.

Lua API for using variants of wal-generated colors in your Neovim colorscheme.

Neovim colorscheme written using the wal-colors.nvim API. Uses variants of your cached colors generated by wal/pywal.

Lualine theme that uses your wal/pywal-generated colors. Uses the wal-colors.nvim API.

No description.

fibrous-based Jupyter notebook plugin for neovim

No description.

Fancy auto-rendering python app using blender python API. The main purpose is automating the rendering of game sprites.

Sprites that re-use the material pipeline, and some fancier lighting effects.

Small script to emulate keyboard input of unicode characters in wayland, using rofi and wtype.

Firefox extension that simplifies the task of downloading a large number of links.

Python ❤ React

Opinionated LaTeX previewer using zathura for Neovim.

No description.

Personal raytracing project, written in C++.

A MIPS assembly preprocessor

No description.

No description.

An extensible and performant Neovim minimap plugin that helps you visualize code structure, diagnostics, git changes, and more at a glance.

Status window for wayland shells

Color utilities for nix

2D and 3D physics engine based on Extended Position Based Dynamics for Bevy.

Example of event track synchronization for bevy_animation_graph using https://quaternius.itch.io/universal-animation-library

pywal.nvim is a reimplementation of pywal.vim to support a few lua plugins like nvim-tree, telescope, bufferline, etc

A refreshingly simple data-driven game engine built in Rust

Minimal reproduction for lighyear leafwing input replication bug

A networking library to make multiplayer games for the Bevy game engine

No description.

ECS-focused high-level networking crate for the Bevy game engine.

Editor/Inspector plugin for Bevy using egui.

Highlight references of symbol under cursor.

An effective blog server that compiles LaTeX posts into static pages. Eureka!

Rainbow delimiters for Neovim through Tree-sitter

Agda implementation of the Data types à la carte framework, including a simple example and a partial application to a formal treatment of the Simply Typed Lambda Calculus which shows where the first significant roadblocks are encountered.

Lua plugin to turn github copilot into a cmp source

Neovim plugin that shows a popup with the highlight groups under the cursor, both treesitter and otherwise.

Formalizations of Gradually Typed Languages in Agda

No description.

Quickstart configs for Nvim LSP

Custom snippets to load with VSCode-snippet compatible editor

Telescope extension to input unicode symbols (e.g. for agda programming)

Render inline graphs with Markdown and Graphviz

No description.

🎨 Generate and change color-schemes on the fly.

Repository containing numerical experiments code for honours project.

An evolving set of notes for General Topology

Asyncio frontend for pulsectl, a Python bindings library for PulseAudio (libpulse)

A joke repository

Vim colorscheme using only terminal colors

A dark neovim colorscheme written in lua

Coreboot rom

A notification daemon/center for linux

A powerful status bar for Linux desktops

Source control your dotfiles and their location in your system.

Simple lex/yacc program that parses linkconfig formatted configuration files and creates symbolic links accordingly. Can be used to maintain dotfiles in a repository and update links into your home directory as necessary.

A simple PDF bookmark (table of contents) manager, with optional zathura integration

Verilog implementation of a single-cycle mips32 cpu

My personal website

Tester script to ensure that output from coursework project follows given constraints.

2D game engine written in C

The assignment for ivr.

My personal GatsbyJS site (being worked on)

A collection of programming club projects.