203. ihmc-pub-sub-groupA Java library for doing Publish/Subscribe messaging over DDS using Fast RTPS (https://github.com/eProsima/Fast-RTPS)
205. JPlagDetecting Software Plagiarism and Collusion since 1996.
206. SpinyGUI(WIP) Java OpenGL GUI library. Created for using with latest LWJGL (LWJGL 3).
209. 6502.NetA .Net-based Cross-Assembler for Several 8-Bit Microprocessors
210. quilSpecification of Quil: A Practical Quantum Instruction Set Architecture
212. Dat3MA verification tool for many memory models
213. xskCompatible environment for SAP HANA Extended Application Services (XS) based applications outside of SAP HANA instance running in a container deployed on Kubernetes
217. wc3libsJava library for reading and modifying Warcraft III maps and game files
222. arboristArborist is a PEG parser that supports left-associative left recursion
226. requsControlled Natural Language for Requirements Specifications
228. Refactoring-BotImplementing the vision of an autonomous bot to eliminate code smells through automatic refactoring.
229. osmose-backendPart of osmose that runs the analysis, and send the results to the frontend.
231. nesperNEsper - Complex Event Processing and Event Series Analysis for .NET
232. codetreeCodeTree is an ES6 library (written in TypeScript) that helps transform code easily.
233. Leo-IIIAn Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
234. daikonCommon modules shared by Talend applications
236. robots.txt🤖 robots.txt as a service. Crawls robots.txt files, downloads and parses them to check rules through an API
237. cqlClincal Quality Language Specification
239. abnffuzzerJava fuzz testing library for implementations of ABNF rules such as IETF RFCs
243. data-prepperData Prepper is a component of the OpenSearch project that accepts, filters, transforms, enriches, and routes data at scale.
247. fasmFPGA Assembly (FASM) Parser and Generator
249. typeonlyParses typing definitions from TypeScript and brings them at runtime.
250. marsMinimal language with type inference, structures, control flow, and more.