database labs
☆39Mar 12, 2021Updated 5 years ago
Alternatives and similar repositories for dblabs
Users that are interested in dblabs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- operating system principles and labs☆58Nov 16, 2023Updated 2 years ago
- 南开大学软件学院生存手册 | A website for sharing information about the College of Software at Nankai University☆77Dec 8, 2025Updated 5 months ago
- [ICLR 2026] Implementation of the paper "Learning Unified Representation of 3D Gaussian Splatting". Rethinking 3DGS representation in neu…☆48Mar 17, 2026Updated 2 months ago
- ☆22Feb 27, 2025Updated last year
- Initial code for computer vision experiments☆11Jan 1, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 🍔 Chen’s Private Cuisine Menu☆10Jan 4, 2026Updated 4 months ago
- Play code with online playgrounds☆13Mar 22, 2020Updated 6 years ago
- A PLT Redex implementation of Featherweight Java☆17Oct 8, 2012Updated 13 years ago
- Stronger types for a few Typed Racket operators☆11Jan 25, 2024Updated 2 years ago
- A Redex tutorial with a focus on how to do work in Redex☆11Oct 21, 2024Updated last year
- 另一个南开软件期末考试资料库，inspired by https://github.com/guohuan-xie/NKU-SE-Exams☆74Jan 23, 2026Updated 4 months ago
- LIL: higher-order datastructures meet CLOS -- Paper published at ILC'2012☆22Oct 14, 2023Updated 2 years ago
- Mechanized baselines for various type system features☆18Apr 14, 2026Updated last month
- Official code repo for paper: ACROSS: An Alignment-based Framework for Low-Resource Many-to-One Cross-Lingual Summarization☆12Jul 15, 2023Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Mechanized proofs and example programs for the paper Type Inference Logics, published at OOPSLA24.☆11Apr 3, 2026Updated last month
- Official implementation of MARIO: Model Agnostic Recipe for Improving OOD Generalization of Graph Contrastive Learning☆19Jan 27, 2024Updated 2 years ago
- Emacs minor mode for drawing multi-character tokens as Unicode glyphs (lambda -> λ). A configurable replacement for pretty-mode and the l…☆42Sep 30, 2014Updated 11 years ago
- ☆17Apr 4, 2024Updated 2 years ago
- Meta-programming utilities for Agda.☆20May 13, 2026Updated last week
- ☆12May 4, 2024Updated 2 years ago
- A formalization of System Fω in Agda☆20Dec 23, 2025Updated 5 months ago
- A very little language☆16Jul 1, 2023Updated 2 years ago
- Code from CS152 lectures☆14Apr 13, 2026Updated last month
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆12Jul 26, 2022Updated 3 years ago
- Mario Game with C++/Qt☆10Nov 15, 2015Updated 10 years ago
- Tensorflow implementations of NaLP: Link Prediction on N-ary Relational Data☆15Apr 9, 2021Updated 5 years ago
- Proof-of-concept, mostly safe multimethods in Racket☆12Sep 9, 2020Updated 5 years ago
- A Coq plugin to disable positivity check, guard check and termination check☆16Nov 2, 2019Updated 6 years ago
- ☆12Feb 21, 2026Updated 3 months ago
- [ECCV2024] "Just a Hint: Point-Supervised Camouflaged Object Detection"☆15Mar 21, 2025Updated last year
- Simple examples on how to implement a DSL in Haskell.☆19Nov 6, 2019Updated 6 years ago
- A copy of Daan Leijen's reference implementation of HMF (type inference)☆18Apr 25, 2016Updated 10 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- https://metaborg.github.io/mj.agda/☆13Oct 14, 2020Updated 5 years ago
- 美赛常用模型☆158Jan 23, 2019Updated 7 years ago
- (CIKM'23 resource track) Graph Domain Adaptation Benchmark for Cross-network Learning☆28Aug 21, 2023Updated 2 years ago
- My Github pages blog.☆15Mar 31, 2026Updated last month
- 2d syntax☆20Feb 21, 2026Updated 3 months ago
- Search Hoogle with Alfred☆21Nov 20, 2019Updated 6 years ago
- Capture network traffic from Emacs Lisp programs into PCAPNG files☆17Feb 4, 2016Updated 10 years ago