Doubly-Linked-List-VST Alternatives
Similar projects and alternatives to Doubly-Linked-List-VST
-
Log4jPatcher
A mitigation for CVE-2021-44228 (log4shell) that works by patching the vulnerability at runtime. (Works with any vulnerable java software, tested with java 6 and newer)
-
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
-
Apache Log4j 2
Apache Log4j 2 is a versatile, feature-rich, efficient logging API and backend for Java.
-
-
vericert
A formally verified high-level synthesis tool based on CompCert and written in Coq.
-
ysoserial
A proof-of-concept tool for generating payloads that exploit unsafe Java object deserialization.
-
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
-
Logback
The reliable, generic, fast and flexible logging framework for Java.
Doubly-Linked-List-VST reviews and mentions
Stats
junqi-xie/Doubly-Linked-List-VST is an open source project licensed under GNU General Public License v3.0 only which is an OSI approved license.
The primary programming language of Doubly-Linked-List-VST is Coq.