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:
- Go package to access the Spotify API☆19Aug 16, 2018Updated 7 years ago
- cinit is a fast, small and simple init with support for profiles☆19Oct 5, 2009Updated 16 years ago
- Some standalone stream fusion experiments☆13Feb 28, 2016Updated 10 years ago
- Simple DNS proxy server with /etc/hosts-like local database editable via web interface. Written in Go.☆13Jan 31, 2020Updated 6 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
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Check if something is a negative number☆13Jan 11, 2016Updated 10 years ago
- ☆45Dec 27, 2014Updated 11 years ago
- A weather monitoring Dashboard built upon Python and Yahoo API☆14Jun 10, 2015Updated 10 years ago
- Poor Richard's Memory Manager☆15Apr 13, 2021Updated 5 years ago
- An exercise in cryptographic minimlism☆24Jan 23, 2015Updated 11 years ago
- Automata Theory. Building a RegExp machine☆12May 10, 2019Updated 6 years ago
- Diffie Hellman key exchange☆13Apr 20, 2017Updated 9 years ago
- ☆12Dec 28, 2020Updated 5 years ago
- All source texts from book "PROJECT OBERON, The Design of an Operating system and Compiler" N. Wirth, J. Gutknecht ACM Press and Addison-…☆22Mar 28, 2013Updated 13 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.
- Abstactions and concrete implementations of mutable containers☆13Jul 4, 2016Updated 9 years ago
- Small library coming from a personal student study on different SHA algorithms.☆13Sep 22, 2020Updated 5 years ago
- A small, concatenative programming language. Implemented in C99.☆14Aug 8, 2022Updated 3 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
- Real-time Transport Protocol (RFC3550) stack under LGPL☆16Apr 28, 2015Updated 11 years ago
- Flux Standard Action creation with schema validation.☆13Aug 18, 2016Updated 9 years ago
- Code pointed at by my blog☆19Aug 8, 2013Updated 12 years ago
- Download awesome collection of old hindi evergreen songs that I just can't stop listening.☆15Oct 2, 2020Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Detect some forms of linux kernel tampering☆12Jun 12, 2015Updated 10 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
- ZIP encryption info☆30Aug 18, 2025Updated 8 months ago
- A simple indexing program to quickly search through source code.☆23May 19, 2014Updated 11 years ago
- OpenLDAP configuration utilities☆11May 28, 2025Updated 11 months ago
- add latitude and longitude to your git commits☆31Jan 20, 2016Updated 10 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- Responsible publish/subscribe. Hide the event publisher, only exposing the event emitter.☆28Nov 27, 2012Updated 13 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Bidirectional secure channels over TCP/IP☆26May 28, 2020Updated 5 years ago
- Create an index on a compressed text file☆657Dec 30, 2022Updated 3 years ago
- Interactive quizzes in a gitbook☆27Feb 3, 2015Updated 11 years ago
- A very fast scalar implementation for Frame Of Reference integer compression.☆109Nov 5, 2015Updated 10 years ago
- NIF-based date and time parsing and formatting for Erlang☆67Nov 24, 2022Updated 3 years ago
- Simple hash table implementation for C.☆219Sep 30, 2020Updated 5 years ago
- A toolkit for creating REST services with Node and PureScript☆32Jan 26, 2017Updated 9 years ago