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 14 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
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- x64 Kernel for BILL OS☆11Mar 31, 2025Updated last year
- 🍙 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
- The ADUni course material, and extra info.☆15Sep 17, 2011Updated 14 years ago
- JS API for reading and writing Madden franchise files☆11Apr 8, 2026Updated 3 weeks ago
- Compiler written for PL0 programming Language. Written in C, for COP3402 class from UCF.☆17Mar 31, 2016Updated 10 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 7 years ago
- .NET Helper Library for Serializing and Deserializing ACORD LA XML☆16Aug 28, 2024Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Antenna analyzer based on RigExpert Zero II and Arduino☆13Jan 25, 2024Updated 2 years ago
- DUQU MALWARE SOURCE + BINARY + More coming☆14Feb 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 11 months ago
- Remake of grabify with more realistic domains☆20May 8, 2021Updated 4 years ago
- A mix of learning resources, my notes and mostly ctf writeup of sandbox escape challenges☆10Jun 6, 2023Updated 2 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 last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- 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.☆40Nov 12, 2024Updated last year
- Mark Volkmann's blog using 11ty☆12Apr 23, 2026Updated last week
- All PWN-oriented (X-DEV/RE) CTFs from http://CTFTIME.org (organized in an excel sheet) 2016-2022 CTFs☆10Nov 21, 2022Updated 3 years ago
- Here I store my proof of concepts☆15Sep 6, 2024Updated last year
- FPGA glitcher based on toothlessco's arty-glitcher, but for the icebreaker☆19Dec 10, 2019Updated 6 years ago
- ☆20Feb 25, 2026Updated 2 months ago
- 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
- 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.
- SD card bootloader for Ultimaker2☆13Mar 29, 2015Updated 11 years ago
- ☆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 4 months ago