-
Microsoft
- Beijing
- https://www.microsoft.com/en-us/research/people/yatli/
Stars
- All languages
- Assembly
- AutoHotkey
- AutoIt
- Batchfile
- Bikeshed
- Boogie
- C
- C#
- C++
- CMake
- CSS
- CoffeeScript
- Common Lisp
- Cuda
- D
- Dockerfile
- F#
- F*
- Fennel
- Fortran
- Go
- HLSL
- HTML
- Haskell
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Lua
- Makefile
- Mako
- Mathematica
- NSIS
- OCaml
- Objective-C
- OpenSCAD
- PHP
- Pascal
- Perl
- PowerShell
- Python
- QML
- Reason
- Rich Text Format
- Roff
- Ruby
- Rust
- SCSS
- SMT
- Scala
- Scheme
- Shell
- Swift
- SystemVerilog
- TSQL
- Tcl
- TeX
- TypeScript
- VHDL
- Verilog
- Vim Script
- Visual Basic .NET
- Vue
- XSLT
- YARA
Open-source high-performance RISC-V processor
A bibliography and survey of the papers surrounding o1
NekoBox for Android / sing-box / universal proxy toolchain for Android
A self-hostable bookmark-everything app (links, notes and images) with AI-based automatic tagging and full text search
Piccolo OS is a small multitasking OS for the Raspberry Pi Pico. It is designed primarily as a teaching tool. It demonstrates the fundamentals of a co-operative multitasking OS and the Arm Cortex-M0+.
Open-source framework for exporting your personal data.
Minimal, clean code for the Byte Pair Encoding (BPE) algorithm commonly used in LLM tokenization.
SecretPatch / Dataset
Forked from XindaW/SecretPatchDatasets of the paper: Detecting "0-Day" Vulnerability: An Empirical Study of Secret Security Patch in OSS
GUI Tool To Removes Ads From Various Places Around Windows 11
Only screensoots now, fully work editor soon
Syncronize your Bluetooth device pairing keys from Windows to Linux. Share your Bluetooth devices between these OSes without having to pair them each time.
A debugging and profiling tool that can trace and visualize python code execution
Visual Studio Code project/compile_commands.json generator for Linux kernel sources and out-of-tree modules
FFmpeg with async and zero-copy Rockchip MPP & RGA support
CERTCC / kaiju
Forked from cmu-sei/kaijuCERT Kaiju is a binary analysis framework extension for the Ghidra software reverse engineering suite. This repository is the primary, canonical repository for this project -- file bug reports and …
Automated static analysis tools for binary programs
small tool to reset USB controllers or devices