Dingo HunterStatic analyser for finding Deadlocks in Go
Stars: ✭ 272 (+26.51%)
saveUniversal test framework for cli tools [mainly for code analyzers and compilers]
Stars: ✭ 33 (-84.65%)
go-recipes🦩 Tools for Go projects
Stars: ✭ 2,490 (+1058.14%)
Fortran-ToolsFortran compilers, preprocessors, static analyzers, transpilers, IDEs, build systems, etc.
Stars: ✭ 31 (-85.58%)
ReadingA list of computer-science readings I recommend
Stars: ✭ 1,919 (+792.56%)
PytA Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications
Stars: ✭ 2,061 (+858.6%)
CkCode metrics for Java code by means of static analysis
Stars: ✭ 187 (-13.02%)
InferA static analyzer for Java, C, C++, and Objective-C
Stars: ✭ 12,823 (+5864.19%)
Kommander IosA lightweight, pure-Swift library for manage the task execution in different threads. Through the definition a simple but powerful concept, Kommand.
Stars: ✭ 167 (-22.33%)
SyftCLI tool and library for generating a Software Bill of Materials from container images and filesystems
Stars: ✭ 196 (-8.84%)
Concurrentconcurrency utilities
Stars: ✭ 186 (-13.49%)
PytketPython module for interfacing with the CQC t|ket> library of quantum software
Stars: ✭ 162 (-24.65%)
CrepeDatalog compiler in Rust as a procedural macro
Stars: ✭ 175 (-18.6%)
SmolA small and fast async runtime for Rust
Stars: ✭ 2,206 (+926.05%)
Zio SagaPurely Functional Transaction Management In Scala With ZIO
Stars: ✭ 200 (-6.98%)
R2frida WikiThis repo aims at providing practical examples on how to use r2frida
Stars: ✭ 168 (-21.86%)
Detect It EasyProgram for determining types of files for Windows, Linux and MacOS.
Stars: ✭ 2,982 (+1286.98%)
LearLinux Engine for Asset Retrieval - speed-profiled C HTTP server
Stars: ✭ 165 (-23.26%)
Vulny Code Static AnalysisPython script to detect vulnerabilities inside PHP source code using static analysis, based on regex
Stars: ✭ 207 (-3.72%)
DejafuSystematic concurrency testing meets Haskell.
Stars: ✭ 161 (-25.12%)
BastionHighly-available Distributed Fault-tolerant Runtime
Stars: ✭ 2,333 (+985.12%)
Bytecode ViewerA Java 8+ Jar & Android APK Reverse Engineering Suite (Decompiler, Editor, Debugger & More)
Stars: ✭ 12,606 (+5763.26%)
AkkaBuild highly concurrent, distributed, and resilient message-driven applications on the JVM
Stars: ✭ 11,938 (+5452.56%)
DiktatStrict coding standard for Kotlin and a custom set of rules for detecting code smells, code style issues and bugs
Stars: ✭ 196 (-8.84%)
BodycloseAnalyzer: checks whether HTTP response body is closed and a re-use of TCP connection is not blocked.
Stars: ✭ 181 (-15.81%)
Golang SetA simple set type for the Go language. Trusted by Docker, 1Password, Ethereum and Hashicorp.
Stars: ✭ 2,168 (+908.37%)
PhtA new threading extension for PHP
Stars: ✭ 175 (-18.6%)
Woke✊ Detect non-inclusive language in your source code.
Stars: ✭ 190 (-11.63%)
Neph A modern command line job processor, similar with make command
Stars: ✭ 174 (-19.07%)
UtilA collection of useful utility functions
Stars: ✭ 201 (-6.51%)
PondMinimalistic and High-performance goroutine worker pool written in Go
Stars: ✭ 187 (-13.02%)
SobjectizerAn implementation of Actor, Publish-Subscribe, and CSP models in one rather small C++ framework. With performance, quality, and stability proved by years in the production.
Stars: ✭ 172 (-20%)
JpeekJava Code Static Metrics (Cohesion, Coupling, etc.)
Stars: ✭ 168 (-21.86%)
Sbt Dependency CheckSBT Plugin for OWASP DependencyCheck. Monitor your dependencies and report if there are any publicly known vulnerabilities (e.g. CVEs). 🌈
Stars: ✭ 187 (-13.02%)
SpotbugsSpotBugs is FindBugs' successor. A tool for static analysis to look for bugs in Java code.
Stars: ✭ 2,569 (+1094.88%)
LightioLightIO is a userland implemented green thread library for ruby
Stars: ✭ 165 (-23.26%)
Concurrent Mapa thread-safe concurrent map for go
Stars: ✭ 2,627 (+1121.86%)
JlangJLang: Ahead-of-time compilation of Java programs to LLVM
Stars: ✭ 186 (-13.49%)
Phpstan Deprecation RulesPHPStan rules for detecting usage of deprecated classes, methods, properties, constants and traits.
Stars: ✭ 160 (-25.58%)
BellybuttonCustom Python linting through AST expressions
Stars: ✭ 196 (-8.84%)
Vert.xVert.x is a tool-kit for building reactive applications on the JVM
Stars: ✭ 12,544 (+5734.42%)
MayhemThe Python asyncio tutorial I wish existed earlier
Stars: ✭ 184 (-14.42%)
PhpmdPHPMD is a spin-off project of PHP Depend and aims to be a PHP equivalent of the well known Java tool PMD. PHPMD can be seen as an user friendly frontend application for the raw metrics stream measured by PHP Depend.
Stars: ✭ 1,992 (+826.51%)
ConcurrentFunctional Concurrency Primitives
Stars: ✭ 206 (-4.19%)
CflintStatic code analysis for CFML (a linter)
Stars: ✭ 156 (-27.44%)
SyntFind similar functions and classes in your JavaScript/TypeScript code
Stars: ✭ 178 (-17.21%)
BrightfuturesWrite great asynchronous code in Swift using futures and promises
Stars: ✭ 1,890 (+779.07%)
ZewoLightweight library for web server applications in Swift on macOS and Linux powered by coroutines.
Stars: ✭ 1,856 (+763.26%)
ThreadlyA library of tools to assist with safe concurrent java development. Providing unique priority based thread pools, and ways to distrbute threaded work safely.
Stars: ✭ 196 (-8.84%)
Securify[DEPRECATED] Security Scanner for Ethereum Smart Contracts
Stars: ✭ 177 (-17.67%)
CrawlerAn easy to use, powerful crawler implemented in PHP. Can execute Javascript.
Stars: ✭ 2,055 (+855.81%)
Docs📖 Documentation for Windi CSS
Stars: ✭ 145 (-32.56%)
WaforthA bootstrapping dynamic Forth Interpreter/Compiler for WebAssembly
Stars: ✭ 176 (-18.14%)