foxdd Goto Github PK
Type: User
Type: User
The highly-optimized fork of ANTLR 4 (see README)
A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.
蓝鲸CI平台(BlueKing CI)
蓝鲸编译加速平台,提供底层编译加速解决方案
Pluggable type-checking for Java
Go bindings for Clang's C API v13
static analysis of C/C++ code
devops boot framework
distributed builds for C, C++ and Objective C
JavaSMT - Unified Java API for SMT solvers.
A dynamic symbolic analysis tool for Java
Open-source code analysis platform for C/C++/Java/Binary/Javascript/Python/Kotlin based on code property graphs. Discord https://discord.gg/vv4MH284Hc
JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.
LLVM bindings for the Go programming language
Library for interacting with LLVM IR in pure Go.
LLVM IR入门指南
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
核心库
PySonar2: an advanced semantic indexer for Python
Sloc, Cloc and Code: scc is a very fast accurate code counter with complexity calculations and COCOMO estimates written in pure Go
Information about signing up for a free Epic Games account
基于Spring Cloud Netflix的TCC柔性事务和EDA事件驱动示例,结合Spring Cloud Sleuth进行会话追踪和Spring Boot Admin的健康监控,并辅以Hystrix Dashboard提供近实时的熔断监控
LCN springcloud demo
LCN分布式事务框架v4.0 springcloud-lcn-demo
Getting started with static program analysis. 静态程序分析入门教程。
Static Value-Flow Analysis Framework for Source Code
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.