Notes from VLDB conference
☆31Sep 5, 2015Updated 10 years ago
Alternatives and similar repositories for vldb2015
Users that are interested in vldb2015 are comparing it to the libraries listed below
Sorting:
- coming soon☆15Apr 16, 2022Updated 3 years ago
- This is a plugin to https://discourse.org that provides our set of customizations and extensions.☆12Apr 11, 2016Updated 9 years ago
- Linux kernel source tree with fast swap patches.☆20Nov 19, 2013Updated 12 years ago
- Extended Roofline Model - LLVM source tree with additional libraries for the analysis of the dynamic execution in the interpreter☆17Jul 5, 2017Updated 8 years ago
- Keynote for QCon SF 2015!☆38Jun 23, 2016Updated 9 years ago
- TLA+ and Alloy specs of database isolation☆21Oct 13, 2015Updated 10 years ago
- The Silence of Intelligence — A comprehensive analysis of Anthropic CEO Dario Amodei's philosophy on Scaling Laws, AI safety, and the fut…☆18Mar 1, 2026Updated last week
- Learning problem-solving, logic/set, math, physics, economics through functional programming using Haskell☆19Oct 16, 2015Updated 10 years ago
- ☆23Feb 23, 2016Updated 10 years ago
- An easy to use tool to stream hardware performance counters data as CSV☆31May 7, 2024Updated last year
- ☆16Sep 22, 2014Updated 11 years ago
- ☆12Aug 2, 2024Updated last year
- Red Hat JBoss Data Grid 7 OpenShift container images☆10Jan 26, 2026Updated last month
- ☆39Feb 2, 2021Updated 5 years ago
- ☆12Jul 10, 2023Updated 2 years ago
- Repository for VSD-IAT Workshop: Physical Verification using SKY130☆10Aug 15, 2021Updated 4 years ago
- This is an implementation of SafeBricks, based on NetBricks maintained by Comcast and refined by Yang: https://github.com/YangZhou1997/Ne…☆10Feb 3, 2020Updated 6 years ago
- SIGPLAN website☆13Updated this week
- A mutation testing tool designed to work with large C++ (and C) codebases.☆13Oct 28, 2025Updated 4 months ago
- A collaborative, web-based engine for software translation.☆22Dec 10, 2012Updated 13 years ago
- Plugin for autocomplete using trix editor☆17Aug 18, 2017Updated 8 years ago
- Command-line tool to check and monitor SSL certificate expiration across multiple domains.☆23Jul 30, 2025Updated 7 months ago
- TreeFuser is a tool that perform traversals fusion for recursive tree traversals written in subset of the c++ language.☆11Aug 13, 2023Updated 2 years ago
- The meat and potatoes behind farosctl☆13Feb 28, 2023Updated 3 years ago
- A useful opinionated repository of Artificial Intelligence ecosystem resources - AI event calendars, papers, books, articles, videos, AI …☆19Mar 1, 2026Updated last week
- A minimal provisioning agent designed for Azure Linux VMs.☆15Feb 18, 2026Updated 2 weeks ago
- RHEL for Edge Downstream CI and Test☆11Updated this week
- ☆10Mar 31, 2021Updated 4 years ago
- Modular pipeline based on the KernelCI API☆11Mar 3, 2026Updated last week
- Copy millions of objects in minutes☆12Oct 21, 2019Updated 6 years ago
- A framework to make C memory safe☆13Sep 20, 2022Updated 3 years ago
- ☆16Sep 3, 2020Updated 5 years ago
- miscellaneous gevent utilities☆21Apr 20, 2011Updated 14 years ago
- Enterprise AWS 3-tier infrastructure blueprint with zero-cost validation strategy • 57 resources across 6 Terraform modules • Safety-firs…☆25Nov 5, 2025Updated 4 months ago
- ☆10Nov 17, 2014Updated 11 years ago
- Coq & Haskell code for Calculating Correct Compilers II☆12Feb 22, 2022Updated 4 years ago
- The implementation of an SMTLib dialect for xDSL☆17Feb 27, 2026Updated last week
- an experimental distribution based on musl libc and busybox☆11Jan 25, 2018Updated 8 years ago
- Utilities for testing Kubernetes installations☆12Jan 16, 2018Updated 8 years ago