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:
- 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
- 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
- ~/.dotfiles: Configuration for various applications☆14Jul 31, 2025Updated 7 months 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.
- Some helpers that may make livecoding with slime/sly a little easier☆39Aug 20, 2024Updated last year
- PyQt based file searcher (a frontend for locate tool)☆14Apr 11, 2017Updated 8 years ago
- Check if something is a negative number☆13Jan 11, 2016Updated 10 years ago
- A Brainfuck to binary compiler using LLVM, written in OCaml.☆20Apr 24, 2023Updated 2 years ago
- ☆45Dec 27, 2014Updated 11 years ago
- Simple dependency injection container with some state handling functions (for facebook flux-like state-management)☆12Nov 2, 2017Updated 8 years ago
- Poor Richard's Memory Manager☆15Apr 13, 2021Updated 4 years ago
- An exercise in cryptographic minimlism☆24Jan 23, 2015Updated 11 years ago
- A Verilog dialect supercharged by the Racket meta-fairies.☆57Apr 29, 2019Updated 6 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- A python import sort plugin(See https://github.com/timothycrosley/isort)☆25Feb 28, 2019Updated 7 years ago
- Run JavaScript in a browser from Common Lisp☆35Jun 5, 2019Updated 6 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 12 years ago
- ☆14Nov 8, 2015Updated 10 years ago
- Abstactions and concrete implementations of mutable containers☆13Jul 4, 2016Updated 9 years ago
- Configuration Tree for Python☆14Nov 28, 2023Updated 2 years ago
- 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 8 months ago
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- Detect some forms of linux kernel tampering☆12Jun 12, 2015Updated 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
- Identity data structure.☆20Jun 6, 2018Updated 7 years ago
- GopherJS Playground☆23Dec 5, 2025Updated 3 months ago
- Scripts for Racket developers☆25Mar 2, 2021Updated 5 years ago
- A simple indexing program to quickly search through source code.☆22May 19, 2014Updated 11 years ago
- 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.☆109Sep 3, 2019Updated 6 years ago
- Native C++ Library☆49May 23, 2015Updated 10 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.
- 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
- Add audio to Web images☆50Sep 9, 2013Updated 12 years ago
- file history with ed(1), diff(1), awk(1), sed(1) and sh(1)☆109Jun 21, 2020Updated 5 years ago
- Very incomplete Scheme interpreter, written in Rust☆23Oct 3, 2016Updated 9 years ago
- PKCS#11 Tools☆16Oct 20, 2017Updated 8 years ago
- Puppet module for OpenSCAP☆14Mar 21, 2025Updated last year