Skip to content
View ivoanjo's full-sized avatar

Organizations

@DataDog @inesc-id-esw

Block or report ivoanjo

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
C 24 4 Updated Mar 22, 2026

Eurydice compiles (a decent subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.

C 374 16 Updated Mar 25, 2026

T-Ruby, TypeScript-style types for Ruby language

Ruby 255 5 Updated Jan 23, 2026

A Rust based DNS client, server, and resolver

Rust 5,081 567 Updated Mar 27, 2026

A light-weight and powerful meta-prompting, context engineering and spec-driven development system for Claude Code by TÂCHES.

JavaScript 43,470 3,494 Updated Mar 27, 2026

Single-header C11 port of https://abseil.io SwissTable

C++ 171 16 Updated May 16, 2022

Extension to prevent Cursor AI chat from opening automatically on launch.

TypeScript 43 Updated Oct 25, 2025

Linux GPU Configuration And Monitoring Tool

Rust 4,120 100 Updated Mar 27, 2026

💎💨 Extremely fast Ruby version and gem manager

Rust 1,667 42 Updated Mar 27, 2026

Detect non-atomic interactions within DB transactions

Ruby 1,096 30 Updated Dec 9, 2025

🌿 Powerful and seamless HTML-aware ERB toolchain.

TypeScript 1,126 82 Updated Mar 27, 2026

A Ruby stack profiler without GVL.

Rust 80 Updated Jun 12, 2025

eBPF Memory Dump Tool

C 102 12 Updated Mar 27, 2026

Fil-C: completely compatible memory safety for C and C++

3,116 61 Updated Mar 28, 2026

A VS Code extension to change language mode from command palette.

JavaScript 3 Updated Aug 12, 2021

Injectorpp is a powerful tool designed to facilitate the writing of unit tests without the need to introduce traits solely for testing purposes. It streamlines the testing process by providing a se…

Rust 395 15 Updated Mar 27, 2026

A Simple showcase for the Sea-of-Nodes compiler IR

Java 852 53 Updated Mar 9, 2026

Run various versions of ruby command

Ruby 92 9 Updated Mar 27, 2026

Perf-based profiler for Ruby

C 1 Updated Jan 22, 2023

A Rust wrapper over Microsoft's MiMalloc memory allocator

Rust 759 85 Updated Nov 24, 2025

The LM Desk project is a central entrypoint for configuring a set of awesome tools that will power your desktop productivity using generative AI. This is a project-of-projects that brings together …

Shell 69 5 Updated Feb 2, 2025

A Game Boy emulator written in Ruby

Ruby 263 5 Updated Feb 16, 2025
C 6 Updated Jan 11, 2026

Fast Java native interface based on JVMCI

Java 477 30 Updated Jun 4, 2025

Helps run tests in virtual machines

Rust 145 18 Updated Oct 21, 2025

FFglitch - FFmpeg fork for glitching

C 280 7 Updated May 17, 2025

Distribute and run LLMs with a single file.

C++ 23,898 1,286 Updated Mar 27, 2026

Freeze all core ruby classes

Ruby 294 4 Updated Mar 15, 2026

Boot large Ruby/Rails apps faster

Ruby 2,721 200 Updated Feb 12, 2026
Next