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:
- Conversions covered: regex to NFA, NFA to DFA, DFA to regex. Minimizing DFA.☆30Apr 22, 2021Updated 5 years ago
- Investigating machine learning algorithms for identifying roads within dashcam photos☆11Jan 15, 2016Updated 10 years ago
- Modifies boot partition of an already mounted Raspberry Pi SD card to enable SSH over USB☆15Jul 8, 2018Updated 7 years ago
- Data, Code and Results from the ICSE 2019 accepted paper: Analysis and Detection of Information Types of Open Source Software Issue Discu…☆12Feb 25, 2019Updated 7 years ago
- 공학수학 강의노트☆19Feb 27, 2024Updated 2 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.
- Generalized Sentiment Classifier finetuned by KoELECTRA☆11Nov 28, 2024Updated last year
- 2019 딥러닝-비전처리 홀로서기 특강에 사용된 Lecture Note 및 Code Repository입니다.☆12Sep 7, 2019Updated 6 years ago
- Udacity self driving car engineer integration project: focus on building ROS nodes to implement core functionality of the autonomous vehi…☆19Jan 10, 2018Updated 8 years ago
- Slides from 2021-12-15 talk, "TVM Developer Bootcamp – Writing Hardware Backends"☆11Jan 20, 2022Updated 4 years ago
- Modular Analysis and Reconstruction for the LINear Collider☆13May 18, 2026Updated last month
- DeepGEMM: clean and efficient FP8 GEMM kernels with fine-grained scaling☆28Jun 20, 2026Updated last week
- The repo for the app that was presented during Amplify days by Nicki Stone and Kyle Lee☆10Jul 16, 2020Updated 5 years ago
- A collection of pieces of code one can improve their refactoring skills.☆19Apr 9, 2022Updated 4 years ago
- List of jabber servers on https://list.jabber.at☆15Nov 22, 2022Updated 3 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.
- Open source implementation of Logical Analysis of Data (LAD) Algorithm.☆16Oct 6, 2023Updated 2 years ago
- Library for identification, anonymization and de-anonymization of PII data☆22Dec 26, 2022Updated 3 years ago
- 你 打 字 带 空 格☆11Oct 2, 2023Updated 2 years ago
- Türkiye'de yapılan derin öğrenme (deep learning) ve makine öğrenmesi (machine learning) çalışmalarının derlendiği sayfa.☆24Nov 3, 2017Updated 8 years ago
- Solutions to exercises in the book *Learn Physics with Functional Programming*☆11Mar 8, 2025Updated last year
- An ongoing collection of awesome software, API libraries, checlists, best guidelines and resources and most important security countermea…☆14Nov 15, 2022Updated 3 years ago
- List of awesome university courses for learning Computer Science!☆15Oct 1, 2018Updated 7 years ago
- 빅데이터 연합동아리 BOAZ 12기 ADV Vision 팀 [Fight Detection] 레포지토리입니다.☆10Jan 22, 2020Updated 6 years ago
- ☆10Aug 15, 2023Updated 2 years ago
- 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.
- 2024 PyCon Korea 튜토리얼☆12Nov 8, 2024Updated last year
- MCP (Model Context Protocol) Server for postgres Database☆30Jul 14, 2025Updated 11 months ago
- Windows low level keyboard hooking component☆14Feb 5, 2017Updated 9 years ago
- lecture materials☆15Mar 11, 2026Updated 3 months ago
- Textbook on non-classical logics☆14Jun 25, 2025Updated last year
- ☆15Nov 22, 2025Updated 7 months ago
- 💚💙💜💛❤️ A Chrome extension for customizing the colors of the GitHub contributions graph.☆18Apr 18, 2026Updated 2 months ago
- 2025년 국민대학교 KPSC + AIM 스터디 - 강화학습을 이용한 체스 AI 만들기☆13Jun 22, 2025Updated last year
- Simulation of a neural network model using Deep Deterministic Policy Gradient (DDPG) improved with Hindsight Experience Replay (HER) in t…☆13May 6, 2026Updated last month
- 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.
- Theory of Computing Report☆14Jun 2, 2026Updated 3 weeks ago
- Implementation of proof of concept quantum enhanced reinforced learning algorithm, able to find the sequence of quantum gates needed to a…☆15Mar 29, 2022Updated 4 years ago
- MIT 6.875☆15Dec 13, 2025Updated 6 months ago
- Environment equipped with reinforcement learning algorithms to train agents to play tic-tac-toe.☆13Mar 4, 2023Updated 3 years ago
- panda_gym integration to use an AI to move the real robot☆11Apr 14, 2021Updated 5 years ago
- Mirror of the Repo on Codeberg☆11Oct 25, 2024Updated last year
- Lookup donation history of a Political Action Committee to specific US federal election candidates using data sourced directly from the F…☆14Nov 14, 2022Updated 3 years ago