☆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.☆13Updated this week
- MnemOS Global Networking Protocol☆15Jan 26, 2024Updated 2 years ago
- Vijos: Vijos Isn't Just an Operating System☆10May 31, 2020Updated 5 years ago
- NPL.load("npl_packages/main/");☆11Feb 28, 2023Updated 3 years ago
- Craft a toy compiler☆10Aug 21, 2019Updated 6 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.
- 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 8 years ago
- MIT 6.824-2012☆10Jun 30, 2018Updated 7 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
- My dotfiles for POSIX systems and cygwin.☆17Feb 7, 2026Updated 2 months ago
- events - tools, libraries & scripts, schemas & formats - (incl. whatson, rubyconf, pycon, beerfest & more)☆11Oct 6, 2024Updated last year
- ☆22Apr 27, 2025Updated 11 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- 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
- Open-source logic textbook in LaTeX by UBC philosophy professor Jonathan Ichikawa☆20Apr 13, 2025Updated 11 months ago
- AC automation on Redis.☆39Jun 14, 2020Updated 5 years ago
- netbeacon - monitoring your network capture, NIDS or network analysis process☆20Apr 5, 2026Updated last week
- A document describing purity detection in EVM opcode☆16Mar 28, 2022Updated 4 years ago
- ☆20Feb 2, 2024Updated 2 years ago
- A crawler for articles of wordpress☆14Nov 11, 2015Updated 10 years ago
- 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.
- IPython cell magic to use .NET languages (C#, VB.NET, F#) from jupyter notebooks☆15Sep 14, 2016Updated 9 years ago
- ☆42Jan 24, 2026Updated 2 months 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 9 years ago
- 你 打 字 带 空 格☆11Oct 2, 2023Updated 2 years ago
- Libp2p for dummies☆12Jul 24, 2020Updated 5 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
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Leetcode solutions in Python☆10Dec 31, 2020Updated 5 years ago
- 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 2 years ago
- A set of completions for the Phalcon PHP Framework made for Sublime Text 3☆26Mar 15, 2015Updated 11 years ago
- ☆16Oct 10, 2016Updated 9 years ago
- bilibili BCC to SRT Subtitle Conversion☆12Jan 13, 2019Updated 7 years ago
- 💚💙💜💛❤️ A Chrome extension for customizing the colors of the GitHub contributions graph.☆18Updated this week