☆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:
- A splay tree implementation.☆13Apr 6, 2026Updated 3 weeks ago
- MnemOS Global Networking Protocol☆15Jan 26, 2024Updated 2 years ago
- ☆15Mar 14, 2023Updated 3 years ago
- My PhD Thesis☆16Jan 4, 2022Updated 4 years ago
- LaTeX Template for Fudan University School of Computer Science 2024☆11May 21, 2024Updated 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.
- NPL.load("npl_packages/main/");☆11Feb 28, 2023Updated 3 years ago
- Craft a toy compiler☆10Aug 21, 2019Updated 6 years ago
- My DAC '21 work open-sourced.☆14Feb 25, 2021Updated 5 years ago
- 基于switch-case语句,20行代码实现无栈协程☆17May 4, 2021Updated 4 years ago
- A Scribble library for typesetting grammars better☆15Feb 22, 2023Updated 3 years ago
- 上海科技大学非官方Latex模版库☆16Apr 12, 2018Updated 8 years ago
- Yet Another File System (yfs) based on Paxos algorithm.☆16Oct 22, 2017Updated 8 years ago
- Introduction to the Theory of Computation☆10May 21, 2017Updated 8 years ago
- http://spider.oscardhc.com☆12Jul 9, 2020Updated 5 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.
- 中国科学技术大学计算机学院课程资源(https://mbinary.coding.me/ustc-cs/)☆10Dec 28, 2018Updated 7 years ago
- A tiny but (will be) featured rasterizer☆10Aug 16, 2022Updated 3 years ago
- algorithms in golang at leetcode-cn.com☆15Oct 23, 2024Updated last year
- A simple slide to unlock iOS UI component.☆11Oct 16, 2020Updated 5 years ago
- A Solidity spec suite to test parsers for language compliance.☆11Dec 31, 2017Updated 8 years ago
- Sarasa Gothic Term SC Font patched by Nerd Fonts☆11Jun 20, 2022Updated 3 years ago
- 一个纯实验项目☆11Sep 13, 2011Updated 14 years ago
- ☆38Sep 18, 2023Updated 2 years ago
- Study materials collected while studying☆51Apr 16, 2022Updated 4 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.
- AC automation on Redis.☆39Jun 14, 2020Updated 5 years ago
- A document describing purity detection in EVM opcode☆16Mar 28, 2022Updated 4 years ago
- ☆20Feb 2, 2024Updated 2 years ago
- The next generation SYZOJ server, written in Go☆20Oct 9, 2019Updated 6 years ago
- 王垠的博客生成器,简单优雅的博客,使用markdown写作,可以自定义css样式,支持发布到page。☆23Oct 8, 2020Updated 5 years ago
- The projects for the "Introduction to Databases" course at Nanjing University.☆24Nov 27, 2025Updated 5 months ago
- Aho–Corasick algorithm automation implement in Golang☆10Apr 22, 2016Updated 10 years ago
- 你 打 字 带 空 格☆11Oct 2, 2023Updated 2 years ago
- Opyn Grant Proposals☆11May 11, 2022Updated 3 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.
- UnZip for non-UTF8 encoding such as cp949, sjis, gbk, euc-kr, euc-jp, and gb2312☆14Jul 17, 2022Updated 3 years ago
- This paper aims to offer a collection of the most popular blockchain scalability solutions. The main goal is to give a fundamental unders…☆15Oct 26, 2018Updated 7 years ago
- Python & Numpy embedded within C++ using Cython as magic glue☆12Aug 20, 2013Updated 12 years ago
- Leetcode solutions in Python☆10Dec 31, 2020Updated 5 years ago
- Generic batch processing framework for managing the orchestration, dispatch, fault tolerance, and monitoring of arbitrary work items agai…☆34Aug 7, 2024Updated last year
- Basic Assets.car creator without the use of Xcode's GUI☆11May 7, 2021Updated 4 years ago
- Get problem statements PDFs from AtCoder, Codeforces, SPOJ.☆11Apr 19, 2023Updated 3 years ago