jackjinhx's Stars
jlevy/the-art-of-command-line
Master the command line, in one page
TryGhost/Ghost
Independent technology for modern publishing, memberships, subscriptions and newsletters.
llvm/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
element-plus/element-plus
🎉 A Vue.js 3 UI Library made by Element team
containers/podman
Podman: A tool for managing OCI containers and pods.
nodemailer/nodemailer
✉️ Send e-mails with Node.JS – easy as cake!
material-components/material-web
Material Design Web Components
angrave/SystemProgramming
Angrave's Crowd-Sourced System Programming Book used at UIUC
coq/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
webmin/webmin
Powerful and flexible web-based server management control panel
remzi-arpacidusseau/ostep-projects
Projects for an undergraduate OS course
dotnet/fsharp
The F# compiler, F# core library, F# language service, and F# tooling integration for Visual Studio
lucaslorentz/caddy-docker-proxy
Caddy as a reverse proxy for Docker
winscp/winscp
WinSCP is a popular free SFTP and FTP client for Windows, a powerful file manager that will improve your productivity. It supports also Amazon S3, FTPS, SCP and WebDAV protocols, as well as copying between two local directories. Power users can automate WinSCP using .NET assembly.
remzi-arpacidusseau/ostep-homework
kaist-cp/cs431
fsprojects/Avalonia.FuncUI
Develop cross-plattform GUI Applications using F# and Avalonia!
webmin/authentic-theme
Official theme for the best server management panel of the 21st Century
Coq-zh/SF-zh
《软件基础》中译版 Software Foundations Chinese Translation
boo-lang/boo
The Boo Programming Language.
phppgadmin/phppgadmin
the premier web-based administration tool for postgresql
ohkimur/the-c-programming-language-2nd-edition-solutions
Solutions to the exercises in the book "The C Programming Language" (2nd edition) by Brian W. Kernighan and Dennis M. Ritchie. This book is also referred to as K&R.
virtualmin/virtualmin-gpl
Virtualmin web hosting control panel for Webmin
kuangbin/ACM-ICPC
ACM/ICPC
momentum-design/momentum-ui
Momentum UI is a collection of UI libraries for implementing Momentum Design into web applications and websites.
hiverkiya/Dennis-Ritchie-C-Solutions
Solutions to Second Edition of Dennis-Ritchie's Book
OSH-2020/OSH-2020.github.io
课程主页
sjtug/lug
Extensible backend of software mirror
tymmym/software-foundations
Solutions to the exercises from the 'Software Foundations' book by Benjamin Pierce et al.
EarthMessenger/icpc-snippet
ICPC 模板