My neovim config using lazy.

A list of awesome compiler projects and papers for tensor computation and deep learning.

A static analyzer for Java, C, C++, and Objective-C

Performant type-checking for python.

Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

💥 Fast State-of-the-Art Tokenizers optimized for Research and Production

Minimalist ML framework for Rust

An idiomatic, lean, fast & safe pure Rust implementation of Git

A simple, fast and user-friendly alternative to 'find'

Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust

An extremely fast Python package and project manager, written in Rust.

Cross-platform Rust rewrite of the GNU coreutils

LLM inference in C/C++

Cross-platform Rust rewrite of the GNU coreutils

An easy docker-compose deployement of hotcrp

GooFuzz is a tool to perform fuzzing with an OSINT approach, managing to enumerate directories, files, subdomains or parameters without leaving evidence on the target's server and by means of advan…

A chrome extension for auto-filling ucr mfa.

A serverless game backend for CS208@UCR

JIGSAW is a fuzzing-based path constraint solver.

Advanced Fuzzing Library - Slot your Fuzzer together in Rust! Scales across cores and machines. For Windows, Android, MacOS, Linux, no_std, ...

aHash is a non-cryptographic hashing algorithm that uses the AES hardware instruction

A Toolkit for Programming Parallel Algorithms on Shared-Memory Multicore Machines

Pure Rust implementation of Ethereum Virtual Machine

A ground-truth fuzzing benchmark suite based on real programs with real bugs.

Application level tracing for Rust.

Datalog compiler embedded in Rust as a procedural macro

Super Fast Concolic Execution Engine based on Source Code Taint Tracing

Apache Teaclave™ is an open source universal secure computing platform, making computation on privacy-sensitive data safe and simple.

MesaTEE GBDT-RS : a fast and secure GBDT library, supporting TEEs such as Intel SGX and ARM TrustZone

Apache Teaclave™ SGX SDK helps developers to write Intel SGX applications in the Rust programming language, and also known as Rust SGX SDK.