Dynamic Instrumentation Tool Platform

Fixes macOS Preview garbled annotations

The full collection of Jupyter Notebook labs from Andrew Ng's Machine Learning Specialization.

A terminal interface for Snake

Go (golang) bindings to the Z3 SMT Solver

Bindings for the Z3 SMT solver

The Z3 Theorem Prover

CS 704 course website - Principles of Programming Languages

Production-Grade Container Scheduling and Management

Dependency-Track is an intelligent Component Analysis platform that allows organizations to identify and reduce risk in the software supply chain.

lists of most popular repositories for most favoured programming languages (according to StackOverflow)