1071 Open source projects that are alternatives of or similar to Dingo Hunter

A list of computer-science readings I recommend

Go static program analyser

Bolt is a language with in-built data-race freedom!

SOMns: A Newspeak for Concurrency Research

Powerful Python library for atomic file writes.

Go-style concurrency and channels with Python 3.5 and asyncio

The VerCors verification toolset for verifying parallel and concurrent software

No description or website provided.

The core crate for Drone, an Embedded Operating System.

mobsfscan is a static analysis tool that can find insecure code patterns in your Android and iOS source code. Supports Java, Kotlin, Swift, and Objective C Code. mobsfscan uses MobSF static analysis rules and is powered by semgrep and libsast pattern matcher.

This is a high performance , very useful multi-curl tool written in php. 一个超级好用的并发CURL工具！！！(httpful，restful, concurrency)

🐺 Malware analysis platform

Cone Programming Language

Lightweight communicating state machine framework for embedded systems

Library and CLI tool for analysing CloudFormation templates and check them for security compliance.

Python implementations of approval-based committee (multi-winner) voting rules

Parsifal is a tool to assist researchers to perform Systematic Literature Reviews

A repo that contains recursive directory listings (using PowerShell) of a vanilla (clean) install of every Windows OS version to compare and see what's been added with each update.

Links to tools by subject

Simple worker pool example 🏊‍♂️

Concurrency and synchronization primitives

Concurrency made simple in Swift.

A Simple PE File Heuristics Scanners

Map-like, concurrent promise processing

(Experimental) Actors and an OTP clone, implemented in Go

Propagate snapshots of ThreadLocal values to another thread

Converts Prokka GFF3 files to EMBL files for uploading annotated assemblies to EBI

golang worker pool , Concurrency limiting goroutine pool

A Bit Torrent downloader written in Crystal.

A fast object pool for the JVM

A fast, small, full-featured, no-std compatible oneshot channel

Scientific measurement library for instruments, experiments, and live-plotting

📈📆 Backtest trading strategies concurrently using historical chart data from various financial exchanges.

Pluggable TypeScript and JavaScript linter

Flycheck integration for Elsa---Emacs lisp static analyzer

Kubernetes RBAC static Analysis & visualisation tool

Orc programming language implementation

Analyzer of PHP code to search issues with deprecated functionality in newer interpreter versions.

A simulation framework for Robotic Mobile Fulfillment Systems

Exploiting Saliency for Object Segmentation from Image Level Labels, CVPR'17

🚄 Concurrency abstractions framework for Apple Platforms [Task, Atomic, Lock, Operation, etc.].

Chronos - A static race detector for the go language

Program analysis playground for a simple, imperative language

Scrape a Facebook profile and turn it into a JSON file

Reference implementation of "Faster Training of Mask R-CNN by Focusing on Instance Boundaries"

Scriptable network authentication cracker

This repo contains annotated research papers that I found really good and useful

A toolkit to manipulate Scribble-style multiparty protocols, based on classical multiparty session type theory.

⏳ Futures, Streams & Async/Await for PHP's Swoole asynchronous run-time.

SeaHorn Verification Framework

Automatically modelling and distilling knowledge within AI. In other words, summarising the AI research firehose.

Go-like Channels for Chicken Scheme

This Github Action runs Bridgecrew against an Infrastructure-as-Code repository. Bridgecrew performs static security analysis of Terraform & CloudFormation Infrastructure code.

ARM® Cortex®-M platform crate for Drone, an Embedded Operating System.

ZIO — A type-safe, composable library for async and concurrent programming in Scala

Code Climate engine for code duplication analysis

Regular research on the Quest for developers.

A client library for accessing the USPTO Open Data APIs, written in Python.

Configuration files that allow cppcheck to provide better static analysis results

Java并发知识点总结