My implementations of deterministic and non-deterministic turing machines
☆73Jun 20, 2023Updated 2 years ago
Alternatives and similar repositories for turing-machine
Users that are interested in turing-machine are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Resurrecting the Qi/Ph nameserver from '93☆36Jun 20, 2019Updated 6 years ago
- ~/.dotfiles: Configuration for various applications☆14Jul 31, 2025Updated 9 months ago
- PyQt based file searcher (a frontend for locate tool)☆14Apr 11, 2017Updated 9 years ago
- Simple plugin to paste the current selection to a pastebin and return the URL to the clipboard☆22Mar 25, 2016Updated 10 years ago
- Check if something is a negative number☆13Jan 11, 2016Updated 10 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.
- A Brainfuck to binary compiler using LLVM, written in OCaml.☆20Apr 24, 2023Updated 3 years ago
- ☆45Dec 27, 2014Updated 11 years ago
- A weather monitoring Dashboard built upon Python and Yahoo API☆14Jun 10, 2015Updated 10 years ago
- An exercise in cryptographic minimlism☆24Jan 23, 2015Updated 11 years ago
- A python import sort plugin(See https://github.com/timothycrosley/isort)☆25Feb 28, 2019Updated 7 years ago
- Configuration Tree for Python☆14Nov 28, 2023Updated 2 years ago
- File Filer; sort files into structured directory tree. Tree can be structured based on various designs such as date (file modification ti…☆48Oct 22, 2017Updated 8 years ago
- Flux Standard Action creation with schema validation.☆13Aug 18, 2016Updated 9 years ago
- An evolving hacking framework written in python☆10Jan 11, 2015Updated 11 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.
- asciimath is a simple command-line tool for displaying math equations as ascii art.☆22Feb 1, 2017Updated 9 years ago
- finding set bits in large bitmaps☆15Nov 30, 2015Updated 10 years ago
- Setup your ES6 Lab.☆29Jul 17, 2025Updated 10 months ago
- Code pointed at by my blog☆19Aug 8, 2013Updated 12 years ago
- A Twilio application that allows users to register their phone number to receive a phone call when someone goes into labor☆20Oct 3, 2017Updated 8 years ago
- Detect some forms of linux kernel tampering☆12Jun 12, 2015Updated 10 years ago
- Sublime-surround is a SublimeText 2 plugin for adding, deleting and modifying text around the cursor or selection.☆56Apr 12, 2013Updated 13 years ago
- Comparing Different Stochastic Gradien Descent implementations in Haskell against Python☆10Jul 25, 2016Updated 9 years ago
- Example programs using LLVM from within Rust☆24Apr 28, 2014Updated 12 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.
- Userspace "driver" for the Logitech k750 Solar Keyboard. A fork of the repo from @noah, kept for posterity. If you're looking for actuall…☆23Feb 2, 2018Updated 8 years ago
- An automatic screen shot uploader for OS X.☆108Sep 3, 2019Updated 6 years ago
- PKCS11-Proxy is a network proxy for a PKCS11 Library (mirror of original repository)☆15Jul 17, 2015Updated 10 years ago
- SCAPtimony is SCAP database and storage server☆13May 31, 2018Updated 7 years ago
- Very incomplete Scheme interpreter, written in Rust☆23Oct 3, 2016Updated 9 years ago
- ZIP encryption info☆30Aug 18, 2025Updated 9 months ago
- Hello Phoenix sample app from Up and Running Guide☆21Oct 2, 2021Updated 4 years ago
- Porting the AlgoTrader (Java) code to Erlang [Abandoned]☆29May 1, 2013Updated 13 years ago
- Puppet module for OpenSCAP☆14Mar 21, 2025Updated last year
- 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.
- MPI programs shared here !☆15May 5, 2015Updated 11 years ago
- Build scripts used to prepare self-contained packages of Arachni.☆13May 11, 2022Updated 4 years ago
- Repository ufficiale del sito ventuno.space, con ispirazione dal sito bitcoin only☆10Oct 25, 2023Updated 2 years ago
- DNSSEC/TLS tools☆36Jan 25, 2014Updated 12 years ago
- Responsible publish/subscribe. Hide the event publisher, only exposing the event emitter.☆28Nov 27, 2012Updated 13 years ago
- High-performance Erlang client for the Redis key-value store (NIF wrapping the hiredis C client).☆22Aug 19, 2013Updated 12 years ago
- App to diagnose DNS issues☆22Mar 31, 2010Updated 16 years ago