mbrea-c Goto Github PK

agda-data-types-a-la-carte

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.

bar3x

A powerful status bar for Linux desktops

bevy_animation_graph

Animation graphs in Bevy!

bevy_egui_editor

Editor/Inspector plugin for Bevy using egui.

bevy_firework

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

bevy_replicon

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

bevy_utilitarian

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

bevy_xpbd

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

cats

A joke repository

copilot-cmp

Lua plugin to turn github copilot into a cmp source

custom-snippets

Custom snippets to load with VSCode-snippet compatible editor

dotlink

Source control your dotfiles and their location in your system.

effective-eureka

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

egui_nodes

file-linker

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.

game-engine-sdl2

2D game engine written in C

gatsby-site

My personal GatsbyJS site (being worked on)

gentop

An evolving set of notes for General Topology

gradual-typing-in-agda

Formalizations of Gradually Typed Languages in Agda

honours_project_numerical_experiments

Repository containing numerical experiments code for honours project.

ivr_assignment

The assignment for ivr.

latexmk-zathura-preview.nvim

Opinionated LaTeX previewer using zathura for Neovim.

link-bulk-download

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

linux_notification_center

A notification daemon/center for linux

list-highlights.nvim

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

markdown-inline-graphviz

Render inline graphs with Markdown and Graphviz

mbc-colorscheme.nvim

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

mbc-lualine.nvim

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

mbc-unicode-input

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

mips32-single-cycle

Verilog implementation of a single-cycle mips32 cpu