Skip to content
View erichmachado's full-sized avatar
🏠
Working from home
🏠
Working from home

Block or report erichmachado

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 is supported. This note will only be visible to you.
Report abuse

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

Report abuse
Showing results

Formally verified 3D mesh intersection - trust 93 lines of spec, not 1000+ lines of AI-written code

Lean 101 2 Updated Aug 1, 2026

Use Valgrind memcheck on your native gem without going crazy

Ruby 278 16 Updated Feb 2, 2026

*Very* fast recursive file walking and globbing library for Zig, C, and Rust. With gitignore support. 100% POSIX compatible

Zig 221 18 Updated Aug 12, 2026

memory_profiler for ruby

Ruby 1,768 90 Updated Mar 22, 2026

Ruby heap profiler

C++ 251 7 Updated Jul 31, 2026

Comfortably monitor your network traffic 🕵️‍♂️

Rust 40,532 1,918 Updated Aug 12, 2026

A tool to extract data from Open Street Map (OSM) to build the boundaries of the world's timezones.

JavaScript 1,111 96 Updated Jul 11, 2026

Freeze all core ruby classes

Ruby 293 4 Updated May 25, 2026

Application lifecycle orchestration

Go 3,571 414 Updated Aug 14, 2026

macOS command line utility to configure multi-display resolutions and arrangements. Essentially XRandR for macOS.

C 4,492 164 Updated Jun 5, 2024
Ruby 196 6 Updated Jul 1, 2026

An updated version of the classic "Basic Computer Games" book, with well-written examples in a variety of common MEMORY SAFE, SCRIPTING programming languages. See https://coding-horror.github.io/ba…

C# 11,096 1,348 Updated Feb 15, 2026

Terrain rendering algorithm in less than 20 lines of code

C 6,778 297 Updated Apr 29, 2024

How to systematically secure anything: a repository about security engineering

10,226 700 Updated Mar 7, 2023

Audio and video casting system with support for custom applications.

C 2,559 84 Updated Jan 10, 2026

Read all about it on GrumpyGamer:

HTML 896 90 Updated Aug 18, 2024

a cheat-sheet for mathematical notation in code form

15,487 1,084 Updated Mar 8, 2022

C program to download VoD HLS (.m3u8) files

C 676 159 Updated Apr 9, 2024

Things you can do with a browser in 2020 ☕️

7,974 189 Updated Oct 28, 2021

Vusic - Apple Music Web Player made with VueJS

Vue 382 46 Updated May 16, 2022

Snake game made in Go! 🐍

Go 328 33 Updated Aug 15, 2020

Companion webpage to the book "Mathematics For Machine Learning"

Jupyter Notebook 15,873 2,839 Updated Mar 13, 2025

A public list of open-source challenges from jobs around the world

9,953 677 Updated Feb 4, 2026

Koans for the Rust programming language

Rust 654 182 Updated May 28, 2021

🦀 Small exercises to get you used to reading and writing Rust code!

Rust 63,876 11,248 Updated Aug 11, 2026

Space War starting in Episode 55 of cleancoders.com

Clojure 676 68 Updated May 5, 2026

Google's Engineering Practices documentation

23,310 2,291 Updated Sep 19, 2024

Connect external monitors to your system via Wifi-Display specification also known as Miracast

C 4,328 431 Updated Mar 10, 2026

Cast local media to your TV through UPnP/DLNA

JavaScript 304 26 Updated Apr 15, 2024
Next