My implementations of deterministic and non-deterministic turing machines
☆74Jun 20, 2023Updated 3 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:
- This is a logic-based database that can do inferences based on known facts in addition to SQL type queries. Rules are introduced through …☆22Feb 3, 2024Updated 2 years ago
- Go package to access the Spotify API☆19Aug 16, 2018Updated 7 years ago
- libcmods - provides c module headers for popular libraries☆15Oct 12, 2014Updated 11 years ago
- Simulation of common page replacement algorithms used by operating systems to manage memory usage.☆53May 17, 2015Updated 11 years ago
- A Brainfuck to binary compiler using LLVM, written in OCaml.☆20Apr 24, 2023Updated 3 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.
- Undo shell commands.☆45Jul 13, 2012Updated 14 years ago
- An exercise in cryptographic minimlism☆24Jan 23, 2015Updated 11 years ago
- Automata Theory. Building a RegExp machine☆12May 10, 2019Updated 7 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
- Linux config files☆11Jan 3, 2026Updated 6 months 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
- cinit is a fast, small and simple init with support for profiles☆19Oct 5, 2009Updated 16 years ago
- finding set bits in large bitmaps☆15Nov 30, 2015Updated 10 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Download awesome collection of old hindi evergreen songs that I just can't stop listening.☆16Oct 2, 2020Updated 5 years ago
- asciimath is a simple command-line tool for displaying math equations as ascii art.☆22Feb 1, 2017Updated 9 years ago
- Abstactions and concrete implementations of mutable containers☆13Jul 4, 2016Updated 10 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
- Comparing Different Stochastic Gradien Descent implementations in Haskell against Python☆10Jul 25, 2016Updated 10 years ago
- Erlang Generic Game Server + Unity3D☆13Feb 9, 2013Updated 13 years ago
- file history with ed(1), diff(1), awk(1), sed(1) and sh(1)☆109Jun 21, 2020Updated 6 years ago
- How fast is fscanf?☆59Oct 6, 2014Updated 11 years ago
- An evolving hacking framework written in python☆11Jan 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.
- "gist-compile" is a tool I created to organize my Github Gists into one, consolidated directory. Use it to organize your gists in any way…☆29Feb 27, 2015Updated 11 years ago
- DEPRECATED. Adds React.js support to brunch.☆23Jan 26, 2017Updated 9 years ago
- Detect some forms of linux kernel tampering☆12Jun 12, 2015Updated 11 years ago
- Very incomplete Scheme interpreter, written in Rust☆23Oct 3, 2016Updated 9 years ago
- A python import sort plugin(See https://github.com/timothycrosley/isort)☆25Feb 28, 2019Updated 7 years ago
- add latitude and longitude to your git commits☆31Jan 20, 2016Updated 10 years ago
- My solutions to the exercises in the book Essentials of Programming Languages, 2nd Edition.☆28Sep 15, 2011Updated 14 years ago
- PGP keyserver javascript client library. Demo: https://diafygi.github.io/publickeyjs/☆15May 5, 2020Updated 6 years ago
- ZIP encryption info☆30Aug 18, 2025Updated 11 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- SCAPtimony is SCAP database and storage server☆14May 31, 2018Updated 8 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- rcor C compiler (under development)☆115Jul 23, 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
- Cut 3D shapes using a 2D laser cutter☆12Nov 5, 2018Updated 7 years ago
- Bidirectional secure channels over TCP/IP☆26May 28, 2020Updated 6 years ago
- Create an index on a compressed text file☆659Dec 30, 2022Updated 3 years ago