Dafny is a verification-aware programming language

Stable Diffusion web UI

A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.

A mutable, self-balancing interval tree. Queries may be by point, by range overlap, or by range containment.

Low earth orbit (LEO) satellite network simulation framework.

Scripts and cheatsheets for IDAPython

A powerful and user-friendly binary analysis platform!

Web simulator for NDN

STL-Compatible Lemire-Fenn algorithm for running min/max

梦弘浏览器 - 完全自主研发，打破国外垄断，比 Chrome 快 600%。

Do Switches Dream of Machine Learning?, HotNets 2019

P4 language tutorials

Mini-NDN: A Mininet based NDN emulator (mailing list: http://www.lists.cs.ucla.edu/mailman/listinfo/mini-ndn)

Work in progress Wiki for modding Monster Hunter Rise.

Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode

NDN Essential Tools

Run, compile and execute JavaScript for Scientific Computing and Data Visualization TOTALLY TOTALLY TOTALLY in your BROWSER! An open source scientific computing environment for JavaScript TOTALLY i…

3D convolutional neural network for MRI brain extraction

macOS Mojave/Catalina on Dell XPS 9570.

DELL XPS 15 9570 8750H 1080P macOS Mojave

let macOS Mojave/macOS Catalina run on Dell XPS 9570 4K

Mini ITX 4k 视频剪辑黑苹果 macOS 13 Ventura OpenCore EFI since OS X 10.14.5

Repo for counting stars and contributing. Press F to pay respect to glorious developers.

Set up a modern web app by running one command.

Powerlevel9k was a tool for building a beautiful and highly functional CLI, customized for you. P9k had a substantial impact on CLI UX, and its legacy is now continued by P10k.