This repository contains various programs related to the theory of computation
☆14Jan 13, 2019Updated 7 years ago
Alternatives and similar repositories for Theory-of-Computation
Users that are interested in Theory-of-Computation are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Modular Analysis and Reconstruction for the LINear Collider☆13Sep 10, 2026Updated last month
- 공학수학 강의노트☆22Feb 27, 2024Updated 2 years ago
- ☆12Nov 4, 2025Updated 11 months ago
- Open source implementation of Logical Analysis of Data (LAD) Algorithm.☆16Oct 6, 2023Updated 3 years ago
- Production-ready Recursive Language Model (RLM) implementation for processing arbitrarily long documents. Scales to 10 M+ tokens using …☆13Feb 9, 2026Updated 8 months 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.
- ☆12Nov 20, 2025Updated 11 months ago
- Generalize then Adapt: Source-free Domain Adaptation for Semantic Segmentation (ICCV 2021)☆10Oct 12, 2021Updated 5 years ago
- Learn how Programming Languages and Compilers work by inventing one from scratch!☆21Jul 5, 2026Updated 3 months ago
- Synapse MCP Server☆11Oct 20, 2025Updated last year
- Slides and Jupyter notebooks for the Deep Learning lectures at M2 Data Science Université Paris Saclay☆16Feb 6, 2026Updated 8 months ago
- Windows low level keyboard hooking component☆14Feb 5, 2017Updated 9 years ago
- 🕹 Pikachu-volleyball game-based multi-agent RL environment using PettingZoo☆11Sep 29, 2024Updated 2 years ago
- ☆15Mar 24, 2021Updated 5 years ago
- ☆13Aug 13, 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.
- Personal blog about crypto, reversing, maths and a bunch of other stuff. https://book-of-gehn.github.io/☆12Sep 26, 2026Updated last month
- Solutions to exercises in the book *Learn Physics with Functional Programming*☆11Mar 8, 2025Updated last year
- A fast limit order book implementation in Go, inspired by voyager's winning 2011 QuantCup entry. (Also see kmanley/orderbook, the Python …☆14May 15, 2020Updated 6 years ago
- A curated collection of resources for learning and mastering Rust programming, including guides, books, exercises, and more.☆14Apr 11, 2025Updated last year
- Textbook on non-classical logics☆14Jul 12, 2026Updated 3 months ago
- 2024 PyCon Korea 튜토리얼☆12Nov 8, 2024Updated last year
- ☆10Aug 15, 2023Updated 3 years ago
- An ongoing collection of awesome software, API libraries, checlists, best guidelines and resources and most important security countermea…☆14Nov 15, 2022Updated 3 years ago
- Algorithms and data structures implemented in Haskell☆13Mar 12, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆16Dec 31, 2021Updated 4 years ago
- Client-Server, Sockets, DNS, TCP/IP, Web Server, Ping, Traceroute, Web Server, Routing, Top-Down Layered Model☆32Jan 13, 2019Updated 7 years ago
- ☆15Nov 22, 2025Updated 11 months ago
- List of all ML projects☆12Aug 20, 2024Updated 2 years ago
- Data-enriching GAN for retrieving Representative Samples from aTrained Classifier☆14Sep 2, 2020Updated 6 years ago
- Python program to generate, draw, and analyze spectral networks of class S theories☆12Mar 13, 2020Updated 6 years ago
- Path planning algorithm to safely navigate a vehicle around highway while changing lanes and limiting acceleration and jerk.☆28Nov 4, 2019Updated 6 years ago
- Command line tool to block websites that distract you and activate focus mode.☆17Jun 2, 2022Updated 4 years ago
- CFM is a bounded, deterministic, φ/ψ-parameterized dynamical substrate for studying stable structure formation under strict numerical saf…☆12Jan 1, 2026Updated 9 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Keep the Mac awake with the lid closed.☆16Aug 23, 2026Updated 2 months ago
- Simulation of a neural network model using Deep Deterministic Policy Gradient (DDPG) improved with Hindsight Experience Replay (HER) in t…☆14May 6, 2026Updated 5 months ago
- Collection of provided course materials and notes from Stanford's Introduction to Databases online course, which "covers database design …☆10Mar 24, 2016Updated 10 years ago
- Awesome C++ Project in GitHub☆20Jan 5, 2022Updated 4 years ago
- Modelling electromagnetic showers in the central region of the Silicon-Tungsten calorimeter of the proposed ILD☆13Aug 3, 2022Updated 4 years ago
- Mirror of the Repo on Codeberg☆11Oct 25, 2024Updated 2 years ago
- Environment equipped with reinforcement learning algorithms to train agents to play tic-tac-toe.☆13Mar 4, 2023Updated 3 years ago