Djinn-Agent: A lightweight CLI tool for seamless interaction with Claude's advanced computer-use capabilities, automating complex tasks from the terminal.

Efficient and Precise Pointer-Tracking Data-Flow Framework

Defines the Rust borrow checker.

A framework for writing plugins that integrate with the Rust compiler

Modeling NLL and the Rust borrowck

Kani Rust Verifier

How-to: Sanitize your Rust code!

🏆 Collection of bugs uncovered by fuzzing Rust code

A Pointer Analysis Framework for Rust

Asterinas is a secure, fast, and general-purpose OS kernel, written in Rust and providing Linux-compatible ABI.

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

Migrate C code to Rust

Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis

An easy-to-learn/use static analysis framework for Java

Arena based tree 🌲 structure by using indices instead of reference counted pointers

Rust mid-level IR Abstract Interpreter

Flowistry is an IDE plugin for Rust that helps you focus on relevant code.

Handy utilities for the angr binary analysis framework, most notably CFG visualization

360 view on ai/ml/dl applications

Deep Compression on AlexNet

Open deep learning compiler stack for cpu, gpu and specialized accelerators

Python Library for learning (Structure and Parameter), inference (Probabilistic and Causal), and simulations in Bayesian Networks.

Tools to track memory accesses in applications and visualize the patterns to reveal opportunities for optimization.

Programs for producing static and dynamic (runtime) call graphs for Java programs

Deep Q Learning Implemented for dl4j

This is a deep Q-network (reinforcement learning) AI for Dota 2

pytorch implementation of structure2vec (https://arxiv.org/abs/1603.05629)