Bentusi

Sichuan, China

Pinned Repositories

.emacs.d
Language:Emacs Lisp0 2 00
cil
C Intermediate Language
Language:OCaml0 0 00
compiler
Language:Lua0 1 00
l2c
Language:Coq0 1 00
libmodbus
A Modbus library for Linux, Mac OS X, FreeBSD, QNX and Windows
Language:C0 1 00
OpenWrt-Rpi
Raspberry Pi & NanoPi R2S & G-Dock & x86 OpenWrt Compile Project. (Based on Github Action / Daily Update)
Language:Shell00
sf
Language:HTML0 1 00
sofle
Language:C00
velus
A Lustre compiler in Coq
Language:Coq0 1 00

Bentusi's Repositories

Bentusi/.emacs.d
Language:Emacs Lisp0 2 00
Bentusi/cil
C Intermediate Language
Language:OCaml0 0 00
Bentusi/compiler
Language:Lua0 1 00
Bentusi/l2c
Language:Coq0 1 00
Bentusi/libmodbus
A Modbus library for Linux, Mac OS X, FreeBSD, QNX and Windows
Language:C0 1 00
Bentusi/OpenWrt-Rpi
Raspberry Pi & NanoPi R2S & G-Dock & x86 OpenWrt Compile Project. (Based on Github Action / Daily Update)
Language:Shell00
Bentusi/sf
Language:HTML0 1 00
Bentusi/sofle
Language:C00
Bentusi/velus
A Lustre compiler in Coq
Language:Coq0 1 00
Bentusi/GitKraken-Pro-AUR
Make GitKraken Great Again :octopus: 裂紋
Language:Shell