Personal notes & cheatsheets.
☆23Jun 8, 2026Updated this week
Alternatives and similar repositories for notes
Users that are interested in notes are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- This repository accompanies the research paper "P. Kreutzer, S. Kraus, M. Philippsen: Language-Agnostic Generation of Compilable Test Pro…☆12Jul 8, 2022Updated 3 years ago
- A wrapper for GHDL to make it look like Mentor's ModelSim. Helpful for use with programs like Sigasi.☆11Jan 21, 2018Updated 8 years ago
- The OFS (Offline FileSystem or Ohm FileSystem) is a offline-layer which is (or should be) able to extend every filesystem with offline ca…☆16Oct 21, 2022Updated 3 years ago
- SMVs: Enforcing Least Privilege Memory Views for Multithreaded Applications☆13Jul 7, 2022Updated 3 years ago
- Examples and design pattern for VHDL verification☆15Apr 10, 2016Updated 10 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.
- ☆10Dec 8, 2021Updated 4 years ago
- tiny python script to import kernel symbols☆11Oct 23, 2018Updated 7 years ago
- High-performance key-value store☆12Dec 31, 2018Updated 7 years ago
- Documentation for kernel rookie☆10Dec 11, 2020Updated 5 years ago
- 你 打 字 带 空 格☆11Oct 2, 2023Updated 2 years ago
- Example project for testing using Google Test and Google Mock☆15Apr 25, 2018Updated 8 years ago
- Convert V8 project from GN build system to CMake build system and build for static lib.☆13Sep 15, 2017Updated 8 years ago
- Volume Manipulation Library☆17Jul 13, 2023Updated 2 years ago
- GUI editor for hardware description designs☆30Jul 11, 2023Updated 2 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆14Dec 9, 2025Updated 6 months ago
- Automatic cleanup in C using with-statements☆18May 6, 2022Updated 4 years ago
- Porpoise is a tool to port applications to Intel SGX enclaves.☆10Sep 27, 2021Updated 4 years ago
- Web frontend for Myria☆12Sep 30, 2020Updated 5 years ago
- Randomized algorithm class at CU☆17Jul 8, 2025Updated 11 months ago
- PIDX☆14Jan 20, 2020Updated 6 years ago
- In-memory key-value store for testing applications against weak behaviors of a database.☆11Feb 4, 2021Updated 5 years ago
- Benchmark tools for C☆16Apr 3, 2015Updated 11 years ago
- NLP learning☆14May 9, 2024Updated 2 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.
- ☆12May 12, 2026Updated last month
- VeriBetrKV OSDI'20 artifact☆13Sep 5, 2020Updated 5 years ago
- ☆13Mar 1, 2020Updated 6 years ago
- The repo of Dir homepage☆24Apr 16, 2020Updated 6 years ago
- High-Performance Structured Linear Operators☆13May 17, 2018Updated 8 years ago
- Shorthand column notations for tables in Typst.☆17Oct 30, 2025Updated 7 months ago
- lsm-tree with buffered merge☆12Jan 10, 2022Updated 4 years ago
- Anticipating Invariant☆12Mar 14, 2014Updated 12 years ago
- ☆23Jun 14, 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.
- Repository for FSE 2016 paper "Static DOM Event Dependency Analysis for Testing Web Applications".☆10May 20, 2019Updated 7 years ago
- Trust Zone Project☆21Jan 6, 2015Updated 11 years ago
- Youtube Too Long Didn't Watch☆13Sep 2, 2024Updated last year
- CIS565 Final Project☆13Dec 8, 2014Updated 11 years ago
- Configure slog log level per-package via an env var.☆19Aug 28, 2023Updated 2 years ago
- Code extracted from Paint.NET for obtaining information about the CPU from the Win32 GetLogicalProcessorInformation API☆13Apr 18, 2021Updated 5 years ago
- Constraint files for Hardware Description Language (HDL) designs targeting FPGA boards☆48Feb 12, 2026Updated 4 months ago