yatli

Researcher at Microsoft Research Asia.

MicrosoftBeijing

Pinned Repositories

coc-fsharp
coc.nvim integration for fsharp-language-server
Language:TypeScript32 2 253
coc-powershell
PowerShellEditorService integration for coc.vim
Language:TypeScript58 9 559
MCL
MCL firmware for the MegaCommand MIDI Controller.
Language:C54 12 1289
GraphEngine
Microsoft Graph Engine
Language:C#2.2k 128 209330
arch-linux-arm-clockworkpi
Arch Linux ARM for the ClockworkPi devices
Language:Shell24 4 15
fvim
Cross platform Neovim front-end UI, built with F# + Avalonia
Language:F#1.3k 12 24430
ghidra_dsp56k
DSP56k module for Ghidra, wrapped as an Eclipse project.
Language:Java12 3 12
gui-widgets.nvim
Language:Lua44 5 21
vmux.vim
Better window management for Vim.
Language:Vim Script17 2 10
z3
The Z3 Theorem Prover
Language:C++10.5k 182 5.6k1.5k

yatli's Repositories

yatli/fvim
Cross platform Neovim front-end UI, built with F# + Avalonia
Language:F#1.3k 12 24430
yatli/gui-widgets.nvim
Language:Lua44 5 21
yatli/arch-linux-arm-clockworkpi
Arch Linux ARM for the ClockworkPi devices
Language:Shell24 4 15
yatli/DevTerm-ExtCart
DevTerm Ext Board.
Language:HTML9 2 02
yatli/DevTerm
Language:C4 1 02
yatli/xf86-video-fbturbo
Xorg DDX driver for AllWinner D1
Language:C4 1 03
yatli/Avalonia
A multi-platform .NET UI framework
Language:C#1 1 0
yatli/raspberrypi-linux
Kernel source tree for Raspberry Pi-provided kernel builds. Issues unrelated to the linux kernel should be posted on the community forum at https://forums.raspberrypi.com/
Language:C1 1 0
yatli/VirtualT-DevTerm
VirtualT-DevTerm is a TRS-80 Model 100/102/200 emulator for the ClockworkPi DevTerm A04 & A06
Language:C++1 1 0
yatli/AltDrag
Maintained continuation of Stefan Sundin's AltDrag
Language:C1 0
yatli/arcan-git-pkgbuild
Language:Shell2 0
yatli/arm-trusted-firmware
RK3399 Trusted Firmware-A
Language:C1 0
yatli/domino-module-sd80
This is sound source definition file of Domino for Roland SD-80.
1 0
yatli/file-icon-windows
.ico files rendered from various programming fonts
Language:TypeScript1 0
yatli/FsAutoComplete
F# language server using Language Server Protocol
Language:F#1 0
yatli/GraphEngine
Microsoft Graph Engine
Language:C#1 0
yatli/Hotdog
Drivers Submodule For OnePlus 7T Pro (and possibly other 7/7T series phones).
Language:Roff1 0
yatli/jamulus
Jamulus enables musicians to perform real-time jam sessions over the internet.
Language:C1 0
yatli/kexecboot
kexecboot
Language:C1 0
yatli/linux-zaurus-4.14.18
ALARMZ Linux kernel package
Language:Shell2 0
yatli/linux-zaurus-5.0
ALARMZ Linux kernel package
Language:Shell2 0
yatli/linux-zaurus-5.4
Language:Shell2 0
yatli/m8c
Cross-platform M8 tracker headless client
Language:C1 0
yatli/NC1020
cross platform 文曲星 simulator, optimized for DevTerm
Language:C++1 0
yatli/neko
A self hosted virtual browser that runs in docker and uses WebRTC.
Language:Go1 0
yatli/neovim
Vim-fork focused on extensibility and usability
Language:Vim script1 0
yatli/S6SY761Touch
Samsung SEC-S6SY761 Touchscreen Controller Driver for OnePlus 7/7T Pro running Windows on ARM
Language:C1 01
yatli/sunxi_last_linux-5.4
last_linux-5.4 allwinner d1
Language:C1 0
yatli/voidz-packages
The XBPS source packages collection (Unofficial Sharp Zaurus Support)
Language:Shell1 0
yatli/ZALARM-install
Install guide for Arch Linux ARM (ALARM) on the SHARP Zaurus SL-C3x00 series
1 0