51. chasmChasm is a java bytecode transformer designed to handle collision between transformers wherever possible.
52. vuddyVUDDY: A Scalable and Accurate Vulnerable Code Clone Detector (S&P'17)
54. zkayA programming language and compiler which enable automatic compilation of intuitive data privacy specifications to NIZK-enabled private smart contracts.
57. cashscript⚖️ Easily write and interact with Bitcoin Cash smart contracts
58. snowstarHere lies the code for the Snow* programming language, currently being rewritten.
59. MurMurA lightweight language for writing dialog
60. sandA strictly-typed programming language
61. Antlr4BuildTasksBuild tool for 'Official' Antlr4 tool and runtime parsers using .Net. Drop-in replacement for 'Antlr4cs' Antlr4 tool and build rules.
62. dendrol🌴 The STIX2 Pattern expression parser for humans
69. gobraGobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.
70. MarkConv📝 Convert GitHub to Habr or Dev Markdown with additional features
72. RestSQLC# Sql Where Clause Parser to be used as Rest Parameters to filter data. Port of: https://github.com/mmrath/rsql-parser
73. tarskiTarski - An AI Planning Modeling Framework
75. fretA framework for the elicitation, specification, formalization and understanding of requirements.
76. smartnoise-sdkTools and service for differentially private processing of tabular and relational data
78. iBioSimiBioSim is a computer-aided design (CAD) tool aimed for the modeling, analysis, and design of genetic circuits. It is capable of importing and exporting models specified using the Systems Biology Markup Language (SBML). iBioSim also supports the Synthetic Biology Open Language (SBOL), an emerging standard for information exchange in synthetic bi…
80. radbRA (radb): A relational algebra interpreter over relational databases
81. jetSwift-to-JVM bytecode compiler.
82. evaExploratory Video Analytics System
83. yonaYona is a modern take on a dynamic general-purpose programming language with advanced functional programming, minimalistic ML-like syntax, strict evaluation, for GraalVM polyglot virtual machine (VM).
89. pathlingTurn your FHIR data set into a powerful API that can be used to develop analytics applications and augment data science workflow.
90. sqlcequeryA fast and lightweight tool for querying and manipulating SQLCE databases. This tool supports SQLCE versions 3.0, 3.1, 3.5 and 4.0
94. designDesign as Code, a DSL for UX & backend modeling. DSL to Sketch file, Sketch to DSL, DSL to code.
95. VERDICTDARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurity Threats (VERDICT)
97. Project CodeNetThis repository is to support contributions for tools for the Project CodeNet dataset hosted in DAX
98. lemonjA CSS/LESS/SCSS analysis, bad smell check and auto-refactor tools. 一个面向 CSS/LESS/SCSS 的分析、坏味道检查和自动化重构工具。