后端的相关技术学习笔记
☆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
Sorting:
- Part Of My Notes, NJU SE☆47Jul 25, 2021Updated 4 years ago
- 南京大学软件学院课程相关笔记☆357Jan 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
- 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☆15Dec 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 11 months ago
- ☆39Jun 17, 2025Updated 9 months ago
- IP Agent Pool (IP代理池)☆13Jul 23, 2019Updated 6 years ago
- ☆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 5 months ago
- A toolkit to develop distributed systems☆14Nov 20, 2022Updated 3 years ago
- 2018.6-2018.7软件学院暑期工程实训 项目：一起看电影（影伴）☆13Sep 1, 2022Updated 3 years ago
- 南京大学学位论文模板☆620Mar 4, 2026Updated 2 weeks ago
- Watch Tv With You 和你一起看电视☆21Feb 4, 2021Updated 5 years ago
- 一个简单而较为高效的 C++ Allocator，通过内存池实现☆15Jul 7, 2017Updated 8 years ago
- ☆10Nov 26, 2024Updated last year
- 项目仓库☆19Dec 2, 2020Updated 5 years ago
- TLAi+ Benchmarks☆30Feb 6, 2026Updated last month
- A two-phase-commit protocol for leveldb.☆26Oct 26, 2015Updated 10 years ago
- A reference architecture for differential fuzzing using a formally verified oracle☆33Jan 2, 2026Updated 2 months ago
- Lectures for the class on Compilers@software.nju.edu.cn☆213Jun 23, 2024Updated last year
- Blackbox Fuzzing of Distributed Systems with Multi-Dimensional Inputs and Symmetry-Based Feedback Pruning☆13Mar 7, 2025Updated last year
- 南大软院2020级软工1大作业提问区☆17Jun 10, 2020Updated 5 years ago
- ☆13Apr 10, 2025Updated 11 months ago
- nju compilers☆19May 28, 2018Updated 7 years ago
- Educational Database Management System for Software School of Tsinghua University☆18Updated this week
- 一个基于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解题之路。)☆23Jan 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