This program implements a nondeterministic Turing machine simulator in C.
☆24Oct 14, 2018Updated 7 years ago
Alternatives and similar repositories for nondeterministic-turing-machine-simulator
Users that are interested in nondeterministic-turing-machine-simulator are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- My implementations of deterministic and non-deterministic turing machines☆73Jun 20, 2023Updated 2 years ago
- Implements serializing JSON -> QTreeView (load JSON to a tree) and deserializing QTreeWidget -> JSON (save tree to file). Includes suppor…☆16Apr 23, 2012Updated 13 years ago
- CLI Tool for working with Losant Applications☆12Mar 16, 2024Updated 2 years ago
- ☆11Oct 29, 2024Updated last year
- Several simple compilers/interpreters implemented in C/C++ or Haskell, e.g. music notation compiler (simple music notation to abc notatio…☆12Jun 14, 2019Updated 6 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.
- x64 Kernel for BILL OS☆11Mar 31, 2025Updated 11 months ago
- The ADUni course material, and extra info.☆14Sep 17, 2011Updated 14 years ago
- 🍙 my configuration files☆13Feb 15, 2024Updated 2 years ago
- Stacked five machine learning models: SVM, DT, RF, NB, and KNN, into one “smart detection stacked model” using a stacking classifier to …☆11Aug 9, 2022Updated 3 years ago
- JS API for reading and writing Madden franchise files☆11Updated this week
- Compiler written for PL0 programming Language. Written in C, for COP3402 class from UCF.☆17Mar 31, 2016Updated 9 years ago
- LLVM dataflow analysis framework; Reaching Definition Analysis; Liveness Analysis, May-point-to Definition Analysis ; inter-procedural m…☆26Mar 15, 2020Updated 6 years ago
- ☆18Apr 17, 2019Updated 6 years ago
- .NET Helper Library for Serializing and Deserializing ACORD LA XML☆16Aug 28, 2024Updated last year
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Antenna analyzer based on RigExpert Zero II and Arduino☆13Jan 25, 2024Updated 2 years ago
- DUQU MALWARE SOURCE + BINARY + More coming☆13Feb 6, 2023Updated 3 years ago
- 利用angr去除ollvm的虚假控制流☆14Mar 20, 2021Updated 5 years ago
- Colorscheme for vim☆23Dec 19, 2022Updated 3 years ago
- Implementation of a Turing Machine that runs the Busy Beaver programs.☆24Nov 25, 2009Updated 16 years ago
- Dynamic linker studies.☆31May 10, 2025Updated 10 months ago
- A mix of learning resources, my notes and mostly ctf writeup of sandbox escape challenges☆10Jun 6, 2023Updated 2 years ago
- Remake of grabify with more realistic domains☆20May 8, 2021Updated 4 years ago
- IDesk gives users icons on their desktop. Features include transparency, configurable actions to run shell commands, PNG, SVG and GIF ima…☆40Apr 6, 2025Updated 11 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Exploit Proof-of-Concept code for XAMPP v3.3.0 — '.ini' Buffer Overflow (Unicode + SEH)☆14Nov 1, 2023Updated 2 years ago
- ☆13Jun 26, 2021Updated 4 years ago
- A 2048 clone written in Elm.☆39Nov 12, 2024Updated last year
- Mark Volkmann's blog using 11ty☆12Updated this week
- Here I store my proof of concepts☆14Sep 6, 2024Updated last year
- ☆20Feb 25, 2026Updated last month
- ATNwalk is a grammar-based input generator for fuzzing and other evolutionary algorithms. It relies on binary-level mutations to bit sequ…☆11Dec 10, 2024Updated last year
- FPGA glitcher based on toothlessco's arty-glitcher, but for the icebreaker☆18Dec 10, 2019Updated 6 years ago
- SD card bootloader for Ultimaker2☆13Mar 29, 2015Updated 10 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.
- ☆24Jul 8, 2024Updated last year
- rust clr heap encryption (https://github.com/lap1nou/CLR_Heap_encryption), but no heap encryption.☆17Jan 6, 2024Updated 2 years ago
- ☆13May 27, 2022Updated 3 years ago
- This is a crash for Brave Browser I found in New Years Eve, used to be a 0day when I found it☆18Feb 2, 2023Updated 3 years ago
- ☆19Jan 31, 2023Updated 3 years ago
- svelte-guard is a package designed to simplify the process of guarding protected routes in SvelteKit applications.☆23Dec 25, 2025Updated 3 months ago
- An example model of a Network Processing Unit using the PFPSim framework.☆13Aug 23, 2016Updated 9 years ago