Download JAR files tagged by instruction with all dependencies

链路追踪模块，负责全链路相关操作包括代码染色, 指令搜集等，提供全链路信息（包括tid）跨进程的能力，目前支持skywalking和arms两种实现的适配 Link tracking module is responsible for operations related to the whole link, including code dyeing, instruction collection, etc., and provides cross-process capability of the whole link information (including tid). Currently, it supports the adaptation of skywalking and arms

A simple Macro Assembler, using a subset of MASM syntax, for the Transputer instruction set. Generates binary output or ELF object files. (Apache License v2) 2018-2019 Matt Gumbley, DevZendo.org

scala-tptp-parser is a library for parsing the input languages of the TPTP infrastructure for knowledge representation and reasoning. The package contains a data structure for the abstract syntax tree (AST) of the parsed input as well as the parser for the different language of the TPTP, see http://tptp.org for details. In particular, parser are available for: - THF (TH0/TH1): Monomorphic and polymorphic higher-order logic, - TFF (TF0/TF1): Monomorphic and polymorphic typed first-order logic, including extended TFF (TFX), - FOF: Untyped first-order logic, - TCF: Typed clause-normal form, - CNF: (Untyped) clause-normal form, and - TPI: TPTP Process Instruction language. The parser was initially based on v7.4.0.3 of the TPTP syntax BNF (http://tptp.org/TPTP/SyntaxBNF.html), but is continuously updated to keep track of TPTP language updates.

An low latency, lock free, primitive bounded blocking queue backed by an int[]. This class mimics the interface of {@linkplain java.util.concurrent.BlockingQueue BlockingQueue}, however works with primitive ints rather than objects, so is unable to actually implement the BlockingQueue. This class takes advantage of the Unsafe.putOrderedObject, which allows us to create non-blocking code with guaranteed writes. These writes will not be re-orderd by instruction reordering. Under the covers it uses the faster store-store barrier, rather than the the slower store-load barrier, which is used when doing a volatile write. One of the trade off with this improved performance is we are limited to a single producer, single consumer.