☆59Jan 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 2 months ago
- MnemOS Global Networking Protocol☆16Jan 26, 2024Updated 2 years ago
- Vijos: Vijos Isn't Just an Operating System☆10May 31, 2020Updated 6 years ago
- My PhD Thesis☆16Jan 4, 2022Updated 4 years ago
- A lightweight and easy to use async IO library implemented with io_uring and C++20 coroutine.☆15Feb 11, 2025Updated last year
- 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.
- C++ realisation of gnfs algorithm☆13Aug 5, 2020Updated 6 years ago
- My DAC '21 work open-sourced.☆14Feb 25, 2021Updated 5 years ago
- Rumprun (SMP version)☆11Jan 4, 2021Updated 5 years ago
- MIT 6.824-2012☆10Jun 30, 2018Updated 8 years ago
- http://spider.oscardhc.com☆13Jul 9, 2020Updated 6 years ago
- Generates the student-facing Stat406 website☆14Sep 17, 2026Updated last week
- 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 Boost Based C++ HTTP JSON Server☆14Mar 13, 2024Updated 2 years ago
- Repository for answers for exercises in Programming Massively Parallel Processors book☆17Aug 10, 2024Updated 2 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.
- Sarasa Gothic Term SC Font patched by Nerd Fonts☆11Jun 20, 2022Updated 4 years ago
- Open-source logic textbook in LaTeX by UBC philosophy professor Jonathan Ichikawa☆22Apr 13, 2025Updated last year
- 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
- lecture notes of probability notes☆18Jul 7, 2020Updated 6 years ago
- ☆42Updated this week
- 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
- 你 打 字 带 空 格☆11Updated this week
- 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.
- The next generation SYZOJ server, written in Go☆20Oct 9, 2019Updated 6 years ago
- ☆20Feb 2, 2024Updated 2 years ago
- Libp2p for dummies☆12Jul 24, 2020Updated 6 years ago
- python 微信《跳一跳》辅助☆19Feb 2, 2018Updated 8 years ago
- cugbacmOJ☆16Mar 22, 2016Updated 10 years ago
- WTFGame - an online HTML5 multiplayer game☆44Aug 7, 2017Updated 9 years ago
- Compact Proofs of Retrievability☆13May 28, 2014Updated 12 years ago
- an enumerative reactive synthesis tool for the GR(1) fragment of LTL☆13Jan 5, 2026Updated 8 months ago
- Theory of Computing Report☆15Sep 8, 2026Updated 2 weeks 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.
- An easy to use tool for evaluating the security of cryptographic algorithms against integral attacks.☆25Jan 20, 2019Updated 7 years ago
- MIT 6.875☆18Updated this week
- [Optimism] State Dumps & Regenesis Automation☆15Apr 10, 2021Updated 5 years ago
- 感受老胡的心路历程☆16Nov 25, 2022Updated 3 years ago
- mv3d测试模型打包ROS节点，从ros包的点云读取数据，用训练的模型进行预测☆14Jun 30, 2017Updated 9 years ago
- Code of Feature Fusion Transferability Aware Transformer for Unsupervised Domain Adaptation, WACV 2025☆12Dec 5, 2024Updated last year
- ☆13Sep 8, 2024Updated 2 years ago