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
- Nankai Online Judge Front End☆16Oct 14, 2021Updated 4 years ago
- 南开大学软件学院编译原理作业：简单C语言编译器☆47Dec 23, 2020Updated 5 years ago
- 南开大学软件工程专业课资料 2024年冬季☆39Jan 9, 2025Updated last year
- Introduction to Artificial Intelligence - 2019 Fall Notes 《人工智能导论 》2019 Fall - 南开大学 - 软件学院☆41Mar 25, 2023Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆85Dec 15, 2025Updated 6 months ago
- 南开大学课程资料民间整理☆34Jun 18, 2023Updated 3 years ago
- fastapi异步IO+threadpool线程池的工作原理☆18Feb 12, 2024Updated 2 years ago
- LLM驱动的社交网络模拟系统; LLM-driven social network simulation system☆10Oct 13, 2024Updated last year
- Initial code for computer vision experiments☆11Jan 1, 2023Updated 3 years ago
- 🍔 Chen’s Private Cuisine Menu☆10Jan 4, 2026Updated 6 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
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- This is an implementation of direct density ratio estimation by unconstrained Least-Squares Importance Fitting (uLSIF) with python.☆16May 31, 2024Updated 2 years ago
- A Redex tutorial with a focus on how to do work in Redex☆11Oct 21, 2024Updated last year
- ☆16Sep 22, 2024Updated last year
- LIL: higher-order datastructures meet CLOS -- Paper published at ILC'2012☆23Oct 14, 2023Updated 2 years ago
- Mechanized baselines for various type system features☆18Apr 14, 2026Updated 2 months ago
- Simple implementation of ST LC type checker in Haskell☆13Apr 18, 2022Updated 4 years ago
- 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
- Mechanized proofs and example programs for the paper Type Inference Logics, published at OOPSLA24.☆11Apr 3, 2026Updated 3 months ago
- ☆16Jun 26, 2019Updated 7 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- 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.☆20Jun 15, 2026Updated 2 weeks ago
- A formalization of System Fω in Agda☆20Dec 23, 2025Updated 6 months ago
- A small progran made with Qt☆11Apr 20, 2018Updated 8 years ago
- Code from CS152 lectures☆14Apr 13, 2026Updated 2 months ago
- LaTeX Drawing☆18Dec 22, 2025Updated 6 months ago
- ☆12Jul 26, 2022Updated 3 years ago
- Aiming at the detection of the potential injury risk of the anterior cruciate ligament (ACL)☆15Feb 8, 2023Updated 3 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- 南开大学计算机组成原理实 验报告☆21Jan 21, 2024Updated 2 years ago
- CNCA: Toward Customizable and Natural Generation of Adversarial Camouflage for Vehicle Detectors☆17Nov 3, 2024Updated last year
- Tensorflow implementations of NaLP: Link Prediction on N-ary Relational Data☆14Apr 9, 2021Updated 5 years ago
- A Coq plugin to disable positivity check, guard check and termination check☆16Nov 2, 2019Updated 6 years ago
- Theorem Proving in Emacs☆12Aug 18, 2025Updated 10 months ago
- ☆12May 26, 2026Updated last month
- Automated Simulations of Adversarial Attacks on Arbitrary Objects in Realistic Scenes☆14Oct 5, 2025Updated 9 months ago