Skip to content
View PedroBinotto's full-sized avatar
💻
terminal dweller
💻
terminal dweller
  • Laboratório Bridge
  • Florianópolis, Brasil
Block or Report

Block or report PedroBinotto

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

Showing results
Vim Script 203 15 Updated May 14, 2020

A language server that offers Lua language support - programmed in Lua

Lua 3,206 296 Updated Aug 16, 2024

🔱 Material colorscheme for NeoVim written in Lua with built-in support for native LSP, TreeSitter and many more plugins

Lua 962 124 Updated Jun 26, 2024

A toolchain for web projects, aimed to provide functionalities to maintain them. Biome offers formatter and linter, usable via CLI and LSP.

Rust 13,422 410 Updated Aug 16, 2024

Easily create and manage predefined window layouts, bringing a new edge to your workflow

Lua 797 15 Updated Aug 9, 2024

Find the enemy and replace them with dark power.

Lua 1,992 68 Updated Jul 30, 2024

Neovim file explorer: edit your filesystem like a buffer

Lua 3,572 101 Updated Aug 17, 2024

Integrate GraphQL with your Pydantic models

Python 223 45 Updated Jun 11, 2024

Typed interactions with the GitHub API v3

Python 6,861 1,752 Updated Aug 16, 2024

A massively parallel, high-level programming language

Rust 17,051 419 Updated Aug 16, 2024

μson (uson) is a shorthand for JSON

JavaScript 78 2 Updated Dec 30, 2022

A GraphQL client in Python

Python 1,522 179 Updated Aug 1, 2024

This is the core package for using GraphQL in a custom server easily

Python 116 72 Updated Feb 26, 2024

Collection of library stubs for Python, with static types

Python 4,230 1,711 Updated Aug 17, 2024

Adds GraphQL support to your Flask application.

Python 1,321 139 Updated Jan 3, 2023

JSON Hero is an open-source, beautiful JSON explorer for the web that lets you browse, search and navigate your JSON files at speed. 🚀. Built with 💜 by the Trigger.dev team.

TypeScript 9,137 484 Updated Jun 26, 2024

Odin 2 Synthesizer Plugin

C++ 545 50 Updated Feb 14, 2024

Um projeto simples para aprimorar as habilidades de webdev.

CSS 2 Updated Apr 9, 2024

An interactive, terminal-based markdown presenter

Python 2,077 61 Updated Apr 2, 2024

Command-line JSON processor

C 29,873 1,549 Updated Aug 13, 2024

One dark and light colorscheme for neovim >= 0.5.0 written in lua based on Atom's One Dark and Light theme. Additionally, it comes with 5 color variant styles

Lua 1,505 151 Updated Jul 23, 2024

Magnificent app which corrects your previous console command.

Python 84,155 3,414 Updated Jul 19, 2024

Reformats Java source code to comply with Google Java Style.

Java 5,520 850 Updated Aug 16, 2024

First assignment in the INE5418 (Distributed Computing) course at UFSC.

Java 4 1 Updated Feb 26, 2024

The lean application framework for Python. Build sophisticated user interfaces with a simple Python API. Run your apps in the terminal and a web browser.

Python 24,727 760 Updated Aug 16, 2024

Python composable command line interface toolkit

Python 15,418 1,388 Updated Aug 6, 2024

Terminal session recorder 📹

Rust 13,809 903 Updated Aug 12, 2024

A post-modern modal text editor.

Rust 32,217 2,376 Updated Aug 17, 2024

</> htmx - high power tools for HTML

JavaScript 36,604 1,240 Updated Aug 16, 2024
Next