Fall 2020 This course will cover the basics of setting up and administering a production-quality Linux server environment. By the end of this course, we expect you to: be comfortable using GNU/Linux understand how different parts of the OS work together, e.g. init, processes, daemons, filesystems, etc. understand basic networking on Linux have…
☆27Mar 24, 2021Updated 5 years ago
Alternatives and similar repositories for Linux-System-Administration-DeCal
Users that are interested in Linux-System-Administration-DeCal are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 2022 年毕昇杯 萝杨空队 参赛项目☆16Oct 7, 2023Updated 2 years ago
- For COD course in USTC, on 2020 Spring, prof. Chao Wang☆10Sep 18, 2020Updated 5 years ago
- This is a repository of coursework project for the Stanford Compilers MOOC course. The result is a fully-working compiler for the COOL Pr…☆18Sep 11, 2023Updated 2 years ago
- Gitlet-Testing-Files☆14Jun 21, 2022Updated 3 years ago
- CS144 2021 FALL的实验源码及笔记（已完结）☆14May 24, 2022Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- This repository contains the exercises from the book "The Practice of Programming" by Brian W. Kernighan and Rob Pike.☆24Jan 8, 2024Updated 2 years ago
- 武汉理工大学保研数据分析☆16May 19, 2023Updated 3 years ago
- blog☆24Oct 18, 2017Updated 8 years ago
- 肖恩技术周刊（Shawn Weekly），记录日常阅读的业界资讯和技术相关内容。☆70Apr 24, 2026Updated last month
- ☆26Jul 24, 2022Updated 3 years ago
- Something about C language.☆10Nov 13, 2020Updated 5 years ago
- ☆39May 29, 2026Updated 2 weeks ago
- 2023CV项目：单目相机减速带检测以及测距☆22Sep 12, 2023Updated 2 years ago
- Assignment #2!☆17Jul 23, 2022Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- This is the guide for learning applied statistics.☆351Jan 11, 2024Updated 2 years ago
- ☆41Jul 30, 2025Updated 10 months ago
- ☆51Aug 30, 2024Updated last year
- 《计算机科学导论》课后习题答案☆26Mar 12, 2025Updated last year
- ☆92Aug 18, 2025Updated 9 months ago
- Elliptic curve mathematics including Tate and Weil pairings for BLS signatures and zk-SNARK algorithms.☆21Feb 24, 2025Updated last year
- ☆29Dec 23, 2025Updated 5 months ago
- HITSZ 有关的脚本、作业与笔记等资源合集☆56Sep 14, 2025Updated 9 months ago
- 这个应用程序可以自动生成特定语法的分析表。例如LL(1)、SLR(1) 和 LR(1)。主要用于编译原理等课程中那些笨拙的问题。This app can automatically generate analysis sheet of specific grammar. e…☆17Jan 12, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Chisel Cheatsheet☆37Apr 13, 2023Updated 3 years ago
- ☆28Apr 26, 2024Updated 2 years ago
- 华南师范大学Beamer模板☆15Nov 11, 2020Updated 5 years ago
- Small autodiff lib and a simple working feedforward neural net in Haskell on top of it, from scratch, zero-deps.☆16Jun 21, 2024Updated last year
- Lattices and Their Algorithms, Leiden, Spring 2024☆24Aug 13, 2024Updated last year
- CS Start With C Language，计算机科学与技术起步-C语言导引☆22Nov 12, 2024Updated last year
- Verification infrastructure for the Isabelle/HOL interactive proof assistant☆95Updated this week
- Solutions to UVa Online Judge problems☆11Feb 14, 2017Updated 9 years ago
- A verified polyhedral scheduling validator in Coq. Vibing proving in progress: https://github.com/Hughshine/PolCert/tree/extractor. Codex…☆23Mar 9, 2026Updated 3 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Homepage of the Lean-zh website.☆58Apr 8, 2026Updated 2 months ago
- HDUer，你好！这个项目旨在建立一个全面、可持续的学习资料共享平台。打破某些帐号对于资料的垄断，同时也防止规避QQ群因人员迭代造成的人数过多现象。☆31Feb 28, 2023Updated 3 years ago
- All data publicated in THU tree hole during 2020 Spring to 2021 Winter.☆28Jul 13, 2022Updated 3 years ago
- My solutions to CS106B: Programming Abstractions☆57Jan 19, 2024Updated 2 years ago
- 浙江大学课程设计参考，2019级，计算机科学与技术专业，整合了本人全部课程设计仓库☆29Jul 26, 2021Updated 4 years ago
- Deep Learning for Coders with fastai and PyTorch: AI Applications Without a PhD - the book and the course☆16Jun 7, 2022Updated 4 years ago
- The FATE (Formal Algebra Theorem Evaluation) benchmarks.☆54Feb 23, 2026Updated 3 months ago