☆57Jan 3, 2017Updated 9 years ago
Alternatives and similar repositories for Theoretical-Computer-Science
Users that are interested in Theoretical-Computer-Science are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆16Jan 9, 2017Updated 9 years ago
- Vijos: Vijos Isn't Just an Operating System☆10May 31, 2020Updated 6 years ago
- 实现南京大学标准配色方案和标识☆32Dec 13, 2022Updated 3 years ago
- jdk源码学习&JVM学习记录----手把手带你看源码☆50Jul 20, 2023Updated 2 years ago
- C++ realisation of gnfs algorithm☆13Aug 5, 2020Updated 5 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.
- Optiq Adapter for JavaBean☆14Aug 6, 2014Updated 11 years ago
- 基于switch-case语句，20行代码实现无栈协程☆17May 4, 2021Updated 5 years ago
- Rumprun (SMP version)☆11Jan 4, 2021Updated 5 years ago
- Android app for tracking your locations and uploading them on your private server☆11Jul 1, 2017Updated 9 years ago
- 在线将图片转换成字符画（静态动态图均可）☆10Jul 24, 2018Updated 7 years ago
- MIT 6.824-2012☆10Jun 30, 2018Updated 8 years ago
- 上海科技大学非官方Latex模版库☆16Apr 12, 2018Updated 8 years ago
- ICPC竞赛算法模板☆12Apr 8, 2023Updated 3 years ago
- 基于Java的多线程爬虫框架☆11Jun 14, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- http://spider.oscardhc.com☆13Jul 9, 2020Updated 5 years ago
- A tiny but (will be) featured rasterizer☆10Aug 16, 2022Updated 3 years ago
- Generates the student-facing Stat406 website☆13Dec 18, 2025Updated 6 months ago
- examples for apache calcite☆13May 6, 2026Updated last month
- 参考网易云课堂 讲师：Coding迪斯尼 之"自己动手用java编写c编译器"代码 仅仅学习用 不做任何商业用途☆14Feb 10, 2018Updated 8 years ago
- Easy Scheduler是一个分布式工作流任务调度系统，主要解决数据研发ETL错综复杂的依赖关系，而不能直观监控任务健康状态等问题。Easy Scheduler以DAG流式的方式将Task组装起来，可实时监控任务的运行状态，同时支持重试、从指定节点恢复失败、暂停及Kil…☆10Apr 9, 2019Updated 7 years ago
- 算法思想模块总结☆11May 8, 2020Updated 6 years ago
- ☆46Feb 17, 2026Updated 4 months ago
- A simple slide to unlock iOS UI component.☆11Oct 16, 2020Updated 5 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Design and Implementation of kernel level threads for xv6 operating system. Adding system call related to threading environment in xv6 al…☆29May 3, 2021Updated 5 years ago
- A C0 compiler for homework | C0 编译器 | 北航软院编译原理大作业☆30Jun 1, 2020Updated 6 years ago
- ☆39Sep 18, 2023Updated 2 years ago
- Study materials collected while studying☆51Apr 16, 2022Updated 4 years ago
- 架构师学习线路图，详细介绍java学习线路图，包括java多线程并发，JVM，spring，springboot，springcloud，mysql，zookeeper，kafka，storm，docker等☆15Apr 18, 2019Updated 7 years ago
- netbeacon - monitoring your network capture, NIDS or network analysis process☆20Apr 5, 2026Updated 2 months ago
- Open-source logic textbook in LaTeX by UBC philosophy professor Jonathan Ichikawa☆21Apr 13, 2025Updated last year
- ☆20Feb 2, 2024Updated 2 years ago
- 快速搭建个人VPN/科学上网/翻墙/教程/ssr/ss/bbr/梯子搭建/自建机场/自由上网/代理服务/VPN最新教程☆231May 14, 2026Updated last month
- 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.
- lecture notes of probability notes☆17Jul 7, 2020Updated 5 years ago
- ☆42May 8, 2026Updated last month
- The next generation SYZOJ server, written in Go☆20Oct 9, 2019Updated 6 years ago
- 王垠的博客生成器，简单优雅的博客，使用markdown写作，可以自定义css样式，支持发布到page。☆23Oct 8, 2020Updated 5 years ago
- List of jabber servers on https://list.jabber.at☆15Nov 22, 2022Updated 3 years ago
- Aho–Corasick algorithm automation implement in Golang☆10Apr 22, 2016Updated 10 years ago
- 你 打 字 带 空 格☆11Oct 2, 2023Updated 2 years ago