Skip to content
View joaomlneto's full-sized avatar

Highlights

  • Pro

Organizations

@SERG-Delft @EpicGames @sinfo @mfem @SecTT @LightKone @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.

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
Showing results

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

1 4 Updated Mar 6, 2025

A list of papers about distributed consensus.

2,553 214 Updated Aug 8, 2024

📸 Hooks for converting your React components to images

TypeScript 143 5 Updated Oct 4, 2024

EVE Ref

TypeScript 14 Updated Mar 6, 2025

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

Java 690 116 Updated Mar 4, 2025
Go 3 2 Updated Jul 29, 2024

Awesome Byzantine Fault Tolerance (BFT)

64 15 Updated May 4, 2022

Framework for testing concurrent data structures

Kotlin 596 34 Updated Mar 7, 2025

Curated list of resources on testing distributed systems

HTML 2,530 231 Updated Mar 2, 2025

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

10,059 1,130 Updated Jun 27, 2024

A curated list to learn about distributed systems

10,910 1,481 Updated Jan 10, 2025

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

TypeScript 5,114 309 Updated Mar 3, 2025

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

60,773 6,169 Updated Feb 16, 2025

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

Shell 7,679 637 Updated Feb 10, 2025

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

30,173 1,838 Updated Mar 24, 2024

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

7,027 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 27,963 1,971 Updated Mar 1, 2025

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

Python 849 206 Updated Mar 3, 2025

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

TypeScript 34,022 1,028 Updated Mar 3, 2025

The Terraform plugin for the Dominos Pizza provider.

Go 1,149 91 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 4,897 503 Updated Mar 4, 2025

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

Python 51,100 1,793 Updated Dec 2, 2024

The world's most hated IT stickers

8,821 274 Updated Jul 19, 2024

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

TeX 3,779 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,077 7,055 Updated Aug 14, 2024

An attempt to answer the age old interview question "What happens when you type google.com into your browser and press enter?"

41,222 5,673 Updated Aug 19, 2024

Zenko CloudServer, an open-source Node.js implementation of the Amazon S3 protocol on the front-end and backend storage capabilities to multiple clouds, including Azure and Google.

JavaScript 1,755 244 Updated Mar 5, 2025

A free and strong UCI chess engine

C++ 12,523 2,397 Updated Feb 28, 2025
Next