brymer-meneses

Brymer Meneses's starred repositories

cord.nvim

🚀 Discord Rich Presence plugin for Neovim written in Rust

Language:RustApache-2.06900

ladybird

Truly independent web browser

Language:C++BSD-2-Clause330600

CompCert

The CompCert formally-verified C compiler

Language:CoqNOASSERTION180900

datatype99

Algebraic data types for C99

Language:CMIT133500

GlimpseOfLean

An introduction to theorem proving in Lean for the impatient.

Language:LeanApache-2.07700

cve-rs

Blazingly 🔥 fast 🚀 memory vulnerabilities, written in 100% safe Rust. 🦀

Language:RustNOASSERTION367900

watchexec

Executes commands in response to file modifications

Language:RustApache-2.0503100

NeoComposer.nvim

Neovim plugin that simplifies macros, enhancing productivity with harmony.

Language:LuaMIT37600

spicetify-extensions

some extensions i will do when i have time and js knowledge

Language:JavaScript700

learn-tt

A collection of resources for learning type theory and type theory adjacent fields.

207200

binaryen

Optimizer and compiler/toolchain library for WebAssembly

Language:WebAssemblyApache-2.0722400

zksync-era

zkSync era

Language:RustApache-2.0308200

cybu.nvim

Neovim plugin that offers context when cycling buffers in the form of a customizable notification window.

Language:LuaMIT30500

girok

A powerful and beautiful CLI scheduler

Language:PythonGPL-3.045400

motion-canvas

Visualize Your Ideas With Code

Language:TypeScriptMIT1544100

examples

A set of examples for Motion Canvas

Language:JavaScriptMIT98400

carbonyl

Chromium running inside your terminal

Language:RustBSD-3-Clause1424100

ui

Beautifully designed components that you can copy and paste into your apps. Accessible. Customizable. Open Source.

Language:TypeScriptMIT6147800

winbarbar.nvim

Show buffer list in the winbar.

Language:Lua1300

ariadne

A fancy diagnostics & error reporting crate

Language:RustMIT159900

roc

A fast, friendly, functional language.

Language:RustUPL-1.0383900

react

A wrapper component that allows you to utilise P5 sketches within React apps.

Language:TypeScriptMIT46000

22-23A-Mock-Competitions

Repository for 1st semester 2022-2023 mock competitions

Language:C++500

dTree

A library for visualizing data trees with multiple parents, such as family trees. Built on top of D3.

Language:JavaScriptMIT50900

wasm-git

GIT for nodejs and the browser using https://libgit2.org compiled to WebAssembly with https://emscripten.org

Language:CNOASSERTION60100

noice.nvim

💥 Highly experimental plugin that completely replaces the UI for messages, cmdline and the popupmenu.

Language:LuaApache-2.0390300

os-tutorial

How to create an OS from scratch

Language:CBSD-3-Clause2655000

emulator101

Source code to all the tutorials on emulator101.com

Language:CUnlicense54600

lox-rs

A Rust Implementation of the Lox Interpreter

Language:Rust100

awesome-go

A curated list of awesome Go frameworks, libraries and software

Language:GoMIT12399700