Skip to content
View pabloski80's full-sized avatar

Block or report pabloski80

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

Starred repositories

Showing results

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

LLVM 35,282 15,108 Updated Nov 7, 2025

UNIX-like reverse engineering framework and command-line toolset

C 22,556 3,133 Updated Nov 7, 2025

☕ SonarSource Static Analyzer for Java Code Quality and Security

Java 1,182 704 Updated Nov 7, 2025

A machine learning compiler for GPUs, CPUs, and ML accelerators

C++ 3,659 679 Updated Nov 7, 2025

Nix Packages collection & NixOS

Nix 22,350 17,155 Updated Nov 7, 2025

SonarSource Static Analyzer for JavaScript and TypeScript

TypeScript 1,161 191 Updated Nov 7, 2025

Thunderbird for Android – Open Source Email App for Android (fka K-9 Mail)

Kotlin 12,731 2,643 Updated Nov 7, 2025

Jitsi Meet - Secure, Simple and Scalable Video Conferences that you use as a standalone app or embed in your web application.

TypeScript 27,520 7,515 Updated Nov 7, 2025

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

SMT 1,210 269 Updated Nov 7, 2025

A virtual machine for executing programs written in Hack.

C++ 18,532 3,062 Updated Nov 7, 2025

Servo aims to empower developers with a lightweight, high-performance alternative for embedding web technologies in applications.

Rust 33,750 3,341 Updated Nov 7, 2025

Private AI platform for agents, assistants and enterprise search. Built-in Agent Builder, Deep research, Document analysis, Multi-model support, and API connectivity for agents.

Python 17,340 1,923 Updated Nov 7, 2025

Arm NN ML Software.

C++ 1,287 325 Updated Nov 7, 2025

A platform for community discussion. Free, open, simple.

Ruby 45,515 8,709 Updated Nov 7, 2025

🦜🔗 The platform for reliable agents.

Python 119,124 19,618 Updated Nov 7, 2025

Incredibly fast JavaScript runtime, bundler, test runner, and package manager – all in one

Zig 82,021 3,479 Updated Nov 7, 2025

GraalVM compiles applications into native executables that start instantly, scale fast, and use fewer compute resources 🚀

Java 21,294 1,760 Updated Nov 7, 2025

SpotBugs is FindBugs' successor. A tool for static analysis to look for bugs in Java code.

Java 3,769 638 Updated Nov 7, 2025

沉浸式双语网页翻译扩展 , 支持输入框翻译, 鼠标悬停翻译, PDF, Epub, 字幕文件, TXT 文件翻译 - Immersive Dual Web Page Translation Extension

16,449 943 Updated Nov 7, 2025

Industry leading face manipulation platform

Python 25,735 4,106 Updated Nov 7, 2025

Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more

Python 33,911 3,233 Updated Nov 7, 2025

Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. Supports automatic C => V translation. https://vlang.io

V 36,958 2,209 Updated Nov 7, 2025

The math library of Lean 4

Lean 2,505 870 Updated Nov 7, 2025

Easy interactive web applications with R

R 5,550 1,877 Updated Nov 7, 2025

The Serenity Operating System 🐞

C++ 32,560 3,270 Updated Nov 7, 2025

Static analysis framework for C

OCaml 215 84 Updated Nov 7, 2025

OpenVINO™ is an open source toolkit for optimizing and deploying AI inference

C++ 9,180 2,807 Updated Nov 7, 2025

🐘 SonarPHP: PHP static analyzer for SonarQube & SonarLint

Java 420 108 Updated Nov 7, 2025

Open-source code analysis platform for C/C++/Java/Binary/Javascript/Python/Kotlin based on code property graphs. Discord https://discord.gg/vv4MH284Hc

Scala 2,705 368 Updated Nov 7, 2025

libavif - Library for encoding and decoding .avif files

C 1,902 251 Updated Nov 7, 2025
Next