mbrea-c Goto Github PK
Name: Manuel Brea Carreras
Type: User
Name: Manuel Brea Carreras
Type: User
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.
Our own Bag Of Holding! What can you find inside?
A powerful status bar for Linux desktops
Animation graphs in Bevy!
Editor/Inspector plugin for Bevy using egui.
🎆 CPU-driven, batch-rendered particle system for the Bevy game engine.
ECS-focused high-level networking crate for the Bevy game engine.
Math, geometric and interpolation utilities to make bevy programmers happier.
2D and 3D physics engine based on Extended Position Based Dynamics for Bevy.
A joke repository
Lua plugin to turn github copilot into a cmp source
Custom snippets to load with VSCode-snippet compatible editor
Source control your dotfiles and their location in your system.
An effective blog server that compiles LaTeX posts into static pages. Eureka!
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.
2D game engine written in C
My personal GatsbyJS site (being worked on)
An evolving set of notes for General Topology
Formalizations of Gradually Typed Languages in Agda
Repository containing numerical experiments code for honours project.
The assignment for ivr.
Opinionated LaTeX previewer using zathura for Neovim.
A networking library to make multiplayer games for the Bevy game engine
Firefox extension that simplifies the task of downloading a large number of links.
A notification daemon/center for linux
Neovim plugin that shows a popup with the highlight groups under the cursor, both treesitter and otherwise.
Render inline graphs with Markdown and Graphviz
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.
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.