☆58Jan 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:
- A splay tree implementation.☆13Jul 10, 2026Updated last month
- MnemOS Global Networking Protocol☆16Jan 26, 2024Updated 2 years ago
- ☆37Mar 16, 2017Updated 9 years ago
- An unofficial beamer theme for Fudan University☆26Jul 23, 2026Updated 3 weeks ago
- ☆91Dec 16, 2016Updated 9 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Vijos: Vijos Isn't Just an Operating System☆10May 31, 2020Updated 6 years ago
- ☆20Dec 16, 2016Updated 9 years ago
- LaTeX Template for Fudan University School of Computer Science 2024☆12May 21, 2024Updated 2 years ago
- A lightweight and easy to use async IO library implemented with io_uring and C++20 coroutine.☆15Feb 11, 2025Updated last year
- Cyber-Physical Inconsistency Identification for Safety Checks in Robotic Vehicles☆10Oct 13, 2022Updated 3 years ago
- My DAC '21 work open-sourced.☆14Feb 25, 2021Updated 5 years ago
- 基于switch-case语句，20行代码实现无栈协程☆17May 4, 2021Updated 5 years ago
- Rumprun (SMP version)☆11Jan 4, 2021Updated 5 years ago
- 在线将图片转换成字符画（静态动态图均可）☆10Jul 24, 2018Updated 8 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- MIT 6.824-2012☆10Jun 30, 2018Updated 8 years ago
- Android app for tracking your locations and uploading them on your private server☆11Jul 1, 2017Updated 9 years ago
- 基于Java的多线程爬虫框架☆11Jun 14, 2024Updated 2 years ago
- NOI Linux in Windows WSL 2☆14Dec 18, 2023Updated 2 years ago
- Yet Another File System (yfs) based on Paxos algorithm.☆16Oct 22, 2017Updated 8 years ago
- NSGA-II implemetation for the elaboration included the research paper entitled "Multi-objective Optimization for Virtual Machine Allocati…☆11Apr 4, 2022Updated 4 years ago
- http://spider.oscardhc.com☆13Jul 9, 2020Updated 6 years ago
- Generates the student-facing Stat406 website☆13Jul 22, 2026Updated 3 weeks ago
- A Boost Based C++ HTTP JSON Server☆14Mar 13, 2024Updated 2 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A Ruby on Rails Traslation Guide☆11Jan 9, 2013Updated 13 years ago
- examples for apache calcite☆13Jul 10, 2026Updated last month
- vehicle-assistance including lane and vehicle detection and track.☆11Sep 29, 2013Updated 12 years ago
- 参考网易云课堂 讲师：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
- A simple slide to unlock iOS UI component.☆11Oct 16, 2020Updated 5 years ago
- algorithms in golang at leetcode-cn.com☆15Oct 23, 2024Updated last year
- Sarasa Gothic Term SC Font patched by Nerd Fonts☆11Jun 20, 2022Updated 4 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- 一个纯实验项目☆11Sep 13, 2011Updated 14 years ago
- Open-source logic textbook in LaTeX by UBC philosophy professor Jonathan Ichikawa☆22Apr 13, 2025Updated last year
- A C0 compiler for homework | C0 编译器 | 北航软院编译原理大作业☆30Jun 1, 2020Updated 6 years ago
- ☆25Apr 27, 2025Updated last year
- 架构师学习线路图，详细介绍java学习线路图，包括java多线 程并发，JVM，spring，springboot，springcloud，mysql，zookeeper，kafka，storm，docker等☆15Apr 18, 2019Updated 7 years ago
- Study materials collected while studying☆51Apr 16, 2022Updated 4 years ago
- A document describing purity detection in EVM opcode☆16Mar 28, 2022Updated 4 years ago