Skip to content
View alcides's full-sized avatar

Organizations

@AEminium

Block or report alcides

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
72 stars written in Java
Clear filter

Style and Grammar Checker for 25+ Languages

Java 14,271 1,496 Updated Apr 6, 2026

Statistical Machine Intelligence & Learning Engine

Java 6,361 1,147 Updated Apr 5, 2026

Java 1-25 Parser and Abstract Syntax Tree for Java with advanced analysis functionalities.

Java 6,068 1,224 Updated Apr 1, 2026

Dependency-Track is an intelligent Component Analysis platform that allows organizations to identify and reduce risk in the software supply chain.

Java 3,719 721 Updated Apr 3, 2026

Google Reader inspired self-hosted personal RSS reader.

Java 3,495 397 Updated Apr 4, 2026

Light, fluffy, and always free - AWS Local Emulator

Java 2,700 136 Updated Apr 6, 2026

Java language server

Java 2,287 459 Updated Apr 3, 2026

Spoon is a metaprogramming library to analyze and transform Java source code. 🥄 is made with ❤️, 🍻 and ✨. It parses source files to build a well-designed AST with powerful analysis and transformati…

Java 1,914 381 Updated Apr 5, 2026

An easy-to-learn/use static analysis framework for Java

Java 1,773 197 Updated Mar 22, 2026

Converts a pdf file into a text file while keeping the layout of the original pdf. Useful to extract the content from a table in a pdf file for instance. This is a subclass of PDFTextStripper class…

Java 1,606 214 Updated Dec 17, 2023

TornadoVM: A practical and efficient heterogeneous programming framework for managed languages

Java 1,439 130 Updated Apr 3, 2026

Coverage-guided, in-process fuzzing for the JVM

Java 1,217 166 Updated Apr 4, 2026

Pluggable type-checking for Java

Java 1,136 437 Updated Apr 5, 2026

A library that creates fully populated objects for your unit tests.

Java 1,128 64 Updated Apr 5, 2026

Framework to interpret and transpile JVM bytecode to JavaScript, OpenCL or WebAssembly.

Java 943 63 Updated Mar 27, 2026

A new version of Soot with a completely overhauled architecture

Java 779 110 Updated Mar 27, 2026

The Arend Proof Assistant

Java 743 31 Updated Feb 25, 2025

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

Java 727 119 Updated Sep 22, 2025

A Java Parser library that allows easy parsing and formatting of Java source files

Java 688 105 Updated Mar 10, 2026

JNAerator: native bindings generator for JNA / BridJ / Node.js

Java 528 111 Updated Sep 27, 2025

Software development bots for Github. Join the bot revolution! 🌟🤖🌟💞

Java 390 84 Updated Mar 27, 2026

Enkel is a simple programming language running on the jvm

Java 330 40 Updated Dec 16, 2022

Software Transactional Memory Implementation for the JVM

Java 246 45 Updated Aug 28, 2013

Polyglot CUDA integration for the GraalVM

Java 231 20 Updated Jul 19, 2023

Datalog with support for SMT queries and first-order functional programming

Java 172 10 Updated Mar 23, 2026

A high-performance, parallel, compilation-based symbolic execution engine

Java 146 6 Updated Mar 12, 2026

Optimizer library for tail recursive calls in Java bytecode

Java 125 2 Updated Mar 21, 2023

Loop

Java 120 19 Updated Dec 17, 2023

Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.

Java 103 41 Updated Mar 14, 2026

The Min language

Java 102 10 Updated Jul 18, 2014
Next