Reading notes of "Linux Kernel Development, 3rd edition"
☆15Nov 25, 2013Updated 12 years ago
Alternatives and similar repositories for LKD
Users that are interested in LKD are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- PArallel PArser GENeratOr☆14Sep 11, 2015Updated 11 years ago
- An accelerator to which you can offload RE matching☆14Dec 22, 2024Updated last year
- Propositional Dynamic Logic in Lean 4, showing Craig Interpolation via Tableau☆16Sep 15, 2026Updated last week
- ☆13Dec 24, 2016Updated 9 years ago
- Lecture notes for cloud computing: Distributed systems, virtualization.☆14Nov 13, 2024Updated last year
- 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.
- ☆19Nov 21, 2022Updated 3 years ago
- This repository contains the official "LLM-as-a-Judge" evaluation scripts for the MixAssist project, as detailed in our paper, "MixAssist…☆19Jul 24, 2026Updated 2 months ago
- ☆17Aug 18, 2026Updated last month
- letta integration for terminalbench (#1 open source agent, in under 200 lines of code)☆19Oct 22, 2025Updated 11 months ago
- Mark current symbol and jump in all matching symbols.☆13Jan 5, 2019Updated 7 years ago
- A high-throughput and memory-efficient inference and serving engine for LLMs☆12Nov 27, 2023Updated 2 years ago
- CLAIR: A (surprisingly) simple semantic text metric with large language models.☆23Jan 28, 2024Updated 2 years ago
- Verified and Efficient Matching of Regular Expressions with Lookaround☆27Dec 18, 2024Updated last year
- A living breathing document for Y Combinator applications, interviews, and advice guide☆29Nov 27, 2017Updated 8 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- HTTP/S Service Monitor Script This Bash script periodically monitors the availability and content of web services (HTTP/HTTPS) specified…☆15Sep 29, 2025Updated 11 months ago
- QRCode ActiveX Object based on QRCodeLibVBA☆14Mar 22, 2020Updated 6 years ago
- CloudWatch Alarms Manager. Easy way to create default CloudWatch Alarms for AWS resources.☆18Nov 2, 2023Updated 2 years ago
- Official implementation of WildFX Dataset Generating pipeline.☆29Aug 31, 2026Updated 3 weeks ago
- Small footprint and configurable NVMe core.☆17Jul 14, 2026Updated 2 months ago
- [CVPR 2026 Findings] ELSA: Exact Linear-Scan Attention for Fast and Memory-Light Vision Transformers☆23Jun 17, 2026Updated 3 months ago
- Some random derps and snippets☆15Apr 23, 2017Updated 9 years ago
- Renson One Home Assistant integration☆17Updated this week
- A Fuzzy Matching Approach for Clustering Strings☆31Feb 7, 2023Updated 3 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.
- Repository hosting the resources for the conference "ItaLean 2025", held in Bologna, Italy, December 9–12, 2025.☆25Jul 27, 2026Updated last month
- Tiny TeX distribution built on Web2C and LuaTeX.☆10Jul 21, 2026Updated 2 months ago
- This repository contains all the algorithms implementation & problems solution, assignment solution, Interview question solution & other …☆40Oct 8, 2021Updated 4 years ago
- MacLinuxKit is a proof of concept demo application to launch LinuxKit VMs and containers with containerd from a self-contained SwiftUI ap…☆14Apr 8, 2025Updated last year
- ☆47Updated this week
- electron-demo☆16Jan 21, 2019Updated 7 years ago
- Solutions for discrete math text book.☆28May 21, 2020Updated 6 years ago
- Official code for "MIDI-Informed Singing Accompaniment Generation in a Compositional Song Pipeline"☆33May 30, 2026Updated 3 months ago
- ☆10Jan 8, 2016Updated 10 years 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.
- Morpheus: Domain Specific Run Time Optimization for Software Data Planes -- Presented at ASPLOS22☆36Apr 11, 2024Updated 2 years ago
- Official repository for U-SAM (Interspeech 2025)☆28Jun 3, 2025Updated last year
- A Functional Language Compiler for Multi Core Architecture☆24May 16, 2013Updated 13 years ago
- Notes taken from Understanding the Linux Virtual Memory Manager by Mel Gorman targeting kernel 2.4.22.☆70Jun 30, 2016Updated 10 years ago
- Mojo-Weixin的 Java 客户端☆16Jan 7, 2019Updated 7 years ago
- zprint in Emacs☆10Jun 13, 2021Updated 5 years ago
- The ASK SDK Controls framework builds on the ASK SDK for Node.js, offering a scalable solution for creating large, multi-turn skills in c…☆36Jul 18, 2023Updated 3 years ago