Home » org.antlr » antlr4 » 4.12.0 » Usages

Artifacts using antlr4 version 4.12.0

21. Theta Cat2 usages

hu.bme.mit.theta » theta-catApache

Cat subproject in the Theta model checking framework
Last Release on Jun 30, 2025

22. Orx Keyframer2 usages

org.openrndr.extra » orx-keyframerBSD

orx-keyframer
Last Release on Sep 6, 2025

23. TeamApps UI DSL1 usages

org.teamapps » teamapps-ui-dslApache

TeamApps UI DSL
Last Release on Sep 5, 2025

24. Theta Ltl1 usages

hu.bme.mit.theta » theta-ltlApache

Ltl subproject in the Theta model checking framework
Last Release on Jun 30, 2025

25. Elastic Indexer1 usages

com.arakelian » elastic-indexerApache

High-level Java API for indexing data into Elastic.
Last Release on Feb 23, 2025

26. Graph Guard1 usages

io.github.c-fraser » graph-guardApache

graph-guard-1.0.1
Last Release on Nov 3, 2025

27. Theta Chc Frontend1 usages

hu.bme.mit.theta » theta-chc-frontendApache

Chc Frontend subproject in the Theta model checking framework
Last Release on Jun 30, 2025

28. Theta Litmus2xcfa1 usages

hu.bme.mit.theta » theta-litmus2xcfaApache

Litmus2xcfa subproject in the Theta model checking framework
Last Release on Jun 30, 2025

29. Orx Kotlin Parser1 usages

org.openrndr.extra » orx-kotlin-parserBSD

orx-kotlin-parser
Last Release on Sep 6, 2025

30. Javet Sanitizer

com.caoccao.javet.sanitizer » javet-sanitizerApache

Javet Sanitizer is a sanitizer framework for parsing and validating JavaScript code on JVM. It is built on top of antlr4 and grammars-v4.
Last Release on May 23, 2024