albertleecn/dblabs external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

albertleecn/dblabs

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/albertleecn/dblabs)

Close

albertleecn / dblabsView on GitHubMore

• External links
• Readme badge

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.

• albertleecn / osplabs

  View on GitHub
  operating system principles and labs
  ☆58Nov 16, 2023Updated 2 years ago
• NankaiACM / NKOJ-Front-End

  View on GitHub
  Nankai Online Judge Front End
  ☆16Oct 14, 2021Updated 4 years ago
• fukioston / NKUsoftwarehw

  View on GitHub
  本仓库是南开大学软件学院2023大三上的一些相关作业以及复习的资料，包括计算机图形学，计算机网络，并行程序设计，操作系统
  ☆99Apr 20, 2026Updated 3 months ago
• Youggls / Compiler

  View on GitHub
  南开大学软件学院编译原理作业：简单C语言编译器
  ☆47Dec 23, 2020Updated 5 years ago
• WanliYoung / NKSoftware-OperatingSystem

  View on GitHub
  南开大学软件学院2022秋季学期《操作系统》课程上机实验及期末作业
  ☆22Jan 23, 2023Updated 3 years ago
• End-to-end encrypted cloud storage - Proton Drive • Ad
  Special offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
• Lhai0704 / social_network_simulation

  View on GitHub
  LLM驱动的社交网络模拟系统; LLM-driven social network simulation system
  ☆10Oct 13, 2024Updated last year
• cu1ch3n / menu

  View on GitHub
  🍔 Chen’s Private Cuisine Menu
  ☆10Jan 4, 2026Updated 7 months ago
• HarvardPL / cs152-lecture-code

  View on GitHub
  Code from CS152 lectures
  ☆14Apr 13, 2026Updated 4 months ago
• bennn / trivial

  View on GitHub
  Stronger types for a few Typed Racket operators
  ☆11Jan 25, 2024Updated 2 years ago
• wilbowma / experimenting-with-redex

  View on GitHub
  A Redex tutorial with a focus on how to do work in Redex
  ☆11Oct 21, 2024Updated last year
• fxdpntthm / type-checker

  View on GitHub
  Simple implementation of ST LC type checker in Haskell
  ☆13Apr 18, 2022Updated 4 years ago
• JohnYKiyo / density_ratio_estimation

  View on GitHub
  This is an implementation of direct density ratio estimation by unconstrained Least-Squares Importance Fitting (uLSIF) with python.
  ☆16May 31, 2024Updated 2 years ago
• lexi-lambda / racket-multimethod

  View on GitHub
  Proof-of-concept, mostly safe multimethods in Racket
  ☆12Sep 9, 2020Updated 5 years ago
• XUranus / JVM

  View on GitHub
  A toy Java Virtual Machine implementation
  ☆12Jun 4, 2026Updated 2 months ago
• Managed Database hosting by DigitalOcean • Ad
  PostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
• Youggls / ACROSS-ACL23

  View on GitHub
  Official code repo for paper: ACROSS: An Alignment-based Framework for Low-Resource Many-to-One Cross-Lingual Summarization
  ☆12Jul 15, 2023Updated 3 years ago
• decrn / tilogics

  View on GitHub
  Mechanized proofs and example programs for the paper Type Inference Logics, published at OOPSLA24.
  ☆11Apr 3, 2026Updated 4 months ago
• gelisam / typechecker-combinators

  View on GitHub
  ☆17Apr 4, 2024Updated 2 years ago
• Farbdrucker / GatedCRFLoss

  View on GitHub
  ☆12Oct 27, 2019Updated 6 years ago
• SimonBoulier / TypingFlags

  View on GitHub
  A Coq plugin to disable positivity check, guard check and termination check
  ☆16Nov 2, 2019Updated 6 years ago
• david-christiansen / dan-scheme

  View on GitHub
  A very little language
  ☆16Jul 1, 2023Updated 3 years ago
• ollef / system-f-omega-agda

  View on GitHub
  A formalization of System Fω in Agda
  ☆20Dec 23, 2025Updated 7 months ago
• ZhuYun97 / MARIO

  View on GitHub
  Official implementation of MARIO: Model Agnostic Recipe for Improving OOD Generalization of Graph Contrastive Learning
  ☆19Jan 27, 2024Updated 2 years ago
• TISUnion / mcd-bot

  View on GitHub
  ☆12Jul 26, 2022Updated 4 years ago
• Managed Database hosting by DigitalOcean • Ad
  PostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
• FeiSun / LaTeX-Drawing

  View on GitHub
  LaTeX Drawing
  ☆18Dec 22, 2025Updated 7 months ago
• metaborg / mj.agda

  View on GitHub
  https://metaborg.github.io/mj.agda/
  ☆13Oct 14, 2020Updated 5 years ago
• racket / swindle

  View on GitHub
  ☆12Aug 11, 2026Updated last week
• KCORES / scavenger-cloud

  View on GitHub
  Scavenger Cloud - 垃圾佬云. 这个冬天太寒冷, 为了提升家里的室温, 广大垃圾佬决定贡献自己的CPU为大家提供算力, 顺便利用CPU取暖.
  ☆16Jan 8, 2020Updated 6 years ago
• stoeffel / haskell-simple-dsl-examples

  View on GitHub
  Simple examples on how to implement a DSL in Haskell.
  ☆19Nov 6, 2019Updated 6 years ago
• xiyan-fu / RepSum

  View on GitHub
  ☆17Jun 2, 2021Updated 5 years ago
• marvinborner / strong-reduction-tests

  View on GitHub
  A test suite for strong beta-reduction of the pure, untyped lambda calculus with ~1200 handwritten tests
  ☆16Jun 8, 2026Updated 2 months ago
• XL2248 / VHM

  View on GitHub
  Code for the ACL2022 main conference paper "A Variational Hierarchical Model for Neural Cross-Lingual Summarization"
  ☆18Sep 5, 2022Updated 3 years ago
• meck / alfred-hoogle

  View on GitHub
  Search Hoogle with Alfred
  ☆21Nov 20, 2019Updated 6 years ago
• Managed Database hosting by DigitalOcean • Ad
  PostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
• indradhanush / indradhanush.github.io

  View on GitHub
  My Github pages blog.
  ☆15Mar 31, 2026Updated 4 months ago
• DanBurton / system-f

  View on GitHub
  System F implemented in Haskell
  ☆24Mar 15, 2012Updated 14 years ago
• legoscia / cabledolphin

  View on GitHub
  Capture network traffic from Emacs Lisp programs into PCAPNG files
  ☆17Feb 4, 2016Updated 10 years ago
• DeadlineSurvivor / xayah

  View on GitHub
  WEB文件管理器
  ☆25Dec 12, 2022Updated 3 years ago
• JimmyZJX / TypingFormalization

  View on GitHub
  ☆16Jun 26, 2019Updated 7 years ago
• qwqcode / SAO-UI

  View on GitHub
  Sword Art Online User Interface
  ☆15Jan 24, 2019Updated 7 years ago
• TonyAlbertWan / natural-language-processing

  View on GitHub
  中国科学院大学研究生课程--自然语言处理
  ☆21Jan 8, 2022Updated 4 years ago