Pinned Repositories
bellperson
zk-SNARK library
c910-llvm
平头哥玄铁C910的LLVM工具链支持,由PLCT实验室提供,非官方版本
crochet
Build FreeBSD images for NanoPi, Khadas-EDGE and others.
erlog
Prolog interpreter in and for Erlang
go-sysinfo
go-sysinfo is a library for collecting system information.
grisp-software
Toolchain and Examples for GRISP
gulp-jsx-mini
gulp jsx plugin with no extra dependencies
jsx_pipe
jsx transform executable that you can pipe into
lfe
Lisp Flavoured Erlang (LFE)
lotus
Implementation of the Filecoin protocol, written in Go
lin7sh's Repositories
lin7sh/jsx_pipe
jsx transform executable that you can pipe into
lin7sh/bellperson
zk-SNARK library
lin7sh/c910-llvm
平头哥玄铁C910的LLVM工具链支持,由PLCT实验室提供,非官方版本
lin7sh/crochet
Build FreeBSD images for NanoPi, Khadas-EDGE and others.
lin7sh/erlog
Prolog interpreter in and for Erlang
lin7sh/go-sysinfo
go-sysinfo is a library for collecting system information.
lin7sh/grisp-software
Toolchain and Examples for GRISP
lin7sh/gulp-jsx-mini
gulp jsx plugin with no extra dependencies
lin7sh/lfe
Lisp Flavoured Erlang (LFE)
lin7sh/lotus
Implementation of the Filecoin protocol, written in Go
lin7sh/mapr
cross-platform Rust API for memory mapped IO
lin7sh/ports
Unofficial FreeBSD u-boot ports
lin7sh/rtems
Realtime SMP Kernel, networking, file-systems, drivers, BSPs, samples, and testsuite.
lin7sh/vdhh
Veertu Desktop Hosted Hypervisor