后端的相关技术学习笔记
☆12Nov 11, 2021Updated 4 years ago
Alternatives and similar repositories for Tec-Be
Users that are interested in Tec-Be are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Part Of My Notes, NJU SE☆47Jul 25, 2021Updated 4 years ago
- 南京大学软件学院课程相关笔记☆356Jan 4, 2024Updated 2 years ago
- 第一讲 Android 基础☆15Jul 6, 2020Updated 5 years ago
- 软件工程与计算II☆11Dec 29, 2020Updated 5 years ago
- BinDex: A Two-Layered Index for Fast and Robust Scans (SIGMOD2020)☆10Jun 5, 2020Updated 5 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.
- scala语言从0到入门教程☆22Jul 20, 2021Updated 4 years ago
- C++ 高级程序设计☆15Jan 2, 2021Updated 5 years ago
- Imitate and rewrite Spark's RDD (core)☆10Dec 30, 2022Updated 3 years ago
- Simple Operator for IoTDB☆11Aug 29, 2021Updated 4 years ago
- binary files that Apache IoTDBs website and documents use☆16Dec 18, 2024Updated last year
- Scalable and fast non-redundant rule application for link prediction☆48Sep 3, 2024Updated last year
- What makes Paxos tick?☆11Apr 16, 2025Updated last year
- ☆39Jun 17, 2025Updated 10 months ago
- IP Agent Pool (IP代理池)☆13Jul 23, 2019Updated 6 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- ☆10Aug 19, 2022Updated 3 years ago
- 异地情侣一起看电影☆14Feb 15, 2021Updated 5 years ago
- 南软几个课程的本科复习资料☆67Oct 12, 2021Updated 4 years ago
- Implementation of LDFI for Akka programs in Scala☆15Sep 27, 2018Updated 7 years ago
- Tutorial on modeling with TLA+☆24Oct 7, 2025Updated 6 months ago
- A toolkit to develop distributed systems☆14Nov 20, 2022Updated 3 years ago
- 2018.6-2018.7软件学院暑期工程实训 项目：一起看电影（影伴）☆13Sep 1, 2022Updated 3 years ago
- 南京大学学位论文模板☆643Apr 24, 2026Updated last week
- Watch Tv With You 和你一起看电视☆21Feb 4, 2021Updated 5 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.
- ☆10Nov 26, 2024Updated last year
- TLAi+ Benchmarks☆32Feb 6, 2026Updated 2 months ago
- A two-phase-commit protocol for leveldb.☆26Oct 26, 2015Updated 10 years ago
- A reference architecture for differential fuzzing using a formally verified oracle☆35Jan 2, 2026Updated 3 months ago
- Lectures for the class on Compilers@software.nju.edu.cn☆216Jun 23, 2024Updated last year
- 南大软院2020级软工1大作业提问区☆17Jun 10, 2020Updated 5 years ago
- 一个简单而较为高效的 C++ Allocator，通过内存池实现☆16Jul 7, 2017Updated 8 years ago
- Blackbox Fuzzing of Distributed Systems with Multi-Dimensional Inputs and Symmetry-Based Feedback Pruning☆13Mar 7, 2025Updated last year
- ☆13Apr 10, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- nju compilers☆19May 28, 2018Updated 7 years ago
- Educational Database Management System for Software School of Tsinghua University☆21Mar 19, 2026Updated last month
- 一个基于nonebot的重构的FFXIVQQ机器人占卜插件☆17May 12, 2022Updated 3 years ago
- Erlang Sandboxing for Reliable and Scalable Concurrency Testing☆25Nov 28, 2019Updated 6 years ago
- Codeforces Solutions: A Record of My Problem Solving Journey.( Codeforces题解，记录自己的Codeforces解题之路。)☆22Jan 7, 2023Updated 3 years ago
- A desktop application that provides visualization of basic algorithms and data structures. Implemented with JavaFX.☆13Sep 23, 2022Updated 3 years ago
- Legolas: A Fault Injection Framework for Efficient Exposure of Partial Failures in Distributed Systems☆11Mar 29, 2024Updated 2 years ago