Skip to content
View joaomlneto's full-sized avatar

Highlights

  • Pro

Organizations

@SERG-Delft @EpicGames @sinfo @mfem @SecTT @LightKone @esi @render-ninja

Block or report joaomlneto

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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
Showing results

⭐️ A friendly language for building type-safe, scalable systems!

Rust 20,568 886 Updated Nov 6, 2025

EVE Online tools and datasets

TypeScript 10 Updated Oct 29, 2025

An efficient, modular BFT framework to allow for quick development of BFT protocols and their respective fair comparison.

Rust 1 4 Updated Nov 1, 2025

A list of papers about distributed consensus.

2,590 215 Updated Aug 8, 2024

📸 Hooks for converting your React components to images

TypeScript 164 6 Updated Oct 4, 2024

A reference site for the game EVE Online

TypeScript 19 Updated Nov 5, 2025

JQF + Zest: Coverage-guided semantic fuzzing for Java.

Java 711 120 Updated Sep 22, 2025
Go 5 3 Updated Jul 29, 2024

Awesome Byzantine Fault Tolerance (BFT)

69 16 Updated May 4, 2022

Framework for testing concurrent code on JVM languages

Kotlin 647 39 Updated Nov 6, 2025

Curated list of resources on testing distributed systems

HTML 2,589 239 Updated Nov 2, 2025

A curated list of awesome System Design (A.K.A. Distributed Systems) resources.

10,786 1,199 Updated Jun 27, 2024

A curated list to learn about distributed systems

11,413 1,520 Updated Jan 10, 2025

Next-gen, Pusher-compatible, open-source WebSockets server. Simple, fast, and resilient. 📣

TypeScript 5,440 336 Updated Mar 3, 2025

The Patterns of Scalable, Reliable, and Performant Large-Scale Systems

66,561 6,680 Updated Oct 4, 2025

A collection of inspiring resources related to engineering management and tech leadership

Shell 7,983 658 Updated Oct 20, 2025

A curated and opinionated list of resources for Chief Technology Officers, with the emphasis on startups

31,853 1,948 Updated Aug 3, 2025

😈Awful AI is a curated list to track current scary usages of AI - hoping to raise awareness

7,098 234 Updated Feb 20, 2025

Highly secure second factor auth by screaming at your computer.

C 18 1 Updated Dec 28, 2019

A fully featured React components library

TypeScript 29,979 2,180 Updated Nov 3, 2025

A render management system you can deploy for visual effects and animation productions.

Python 892 234 Updated Nov 2, 2025

Spacedrive is an open source cross-platform file explorer, powered by a virtual distributed filesystem written in Rust.

TypeScript 35,543 1,113 Updated Oct 30, 2025

The Terraform plugin for the Dominos Pizza provider.

Go 1,169 89 Updated May 28, 2024

🏠 Home Assistant configuration & Documentation for my Smart House. Write-ups, videos, part lists, and links throughout. Be sure to ⭐ it. Updated FREQUENTLY!

Shell 5,039 503 Updated Nov 3, 2025

Rich is a Python library for rich text and beautiful formatting in the terminal.

Python 54,298 1,934 Updated Oct 9, 2025

The world's most hated IT stickers

9,025 277 Updated Jul 19, 2024

Examples of how to create colorful, annotated equations in Latex using Tikz.

TeX 3,888 217 Updated Jul 12, 2022

Helper functions for implementing the idle-until-urgent pattern

TypeScript 36 1 Updated Sep 22, 2018

Parse, validate, manipulate, and display dates in javascript.

JavaScript 48,081 7,044 Updated Aug 14, 2024
Next