Implement Turing Machine as described in Alan Turing's famous paper
☆20Nov 7, 2011Updated 14 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:
- Tool for detecting bad style in Standard ML programs☆17Mar 10, 2019Updated 7 years ago
- One Vimscript to run them all☆15Mar 21, 2015Updated 11 years ago
- Chrome extension for converting textarea to code editor☆45Apr 6, 2016Updated 10 years ago
- Web framework for Hunchentoot☆13Dec 19, 2017Updated 8 years ago
- The Yeoman character in your CLI. Like wat.☆20Jan 21, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆15Oct 2, 2025Updated 10 months ago
- MOVED to code.netzhansa.com/hanshuebner/ans. This GitHub mirror is archived.☆11Jan 19, 2012Updated 14 years ago
- [WIP] A pure-Zig TLS 1.3 client implementation.☆14Nov 2, 2022Updated 3 years ago
- RustTalk 是一档专注在 Rust 社区的程序员闲聊节目。微信公众号：RustTalk☆12Updated this week
- Packaging a serving up a Vue.js application via Go and Statik☆10Nov 23, 2017Updated 8 years ago
- A wrapper around bits of LFE to make using Erjang (Java) from LFE more convenient☆18Apr 23, 2014Updated 12 years ago
- A lispy language that compiles into JavaScript, strongly influenced by Arc.☆14Feb 18, 2011Updated 15 years ago
- An example Chrome extension using Chromex library (ClojureScript)☆53Oct 28, 2019Updated 6 years ago
- ext-blog is a common lisp blog engine. It supports custom theme and you can port a WordPress theme for it.☆44Jan 30, 2013Updated 13 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Functional Programing in Scala (in Idris) [Idris]☆16Mar 23, 2015Updated 11 years ago
- Wrapper for the Cephes Mathematical Library☆17Jul 5, 2026Updated last month
- Rainbow spec formatter for Crystal☆13Jul 22, 2023Updated 3 years ago
- A Scala DSL (API) designed for monitoring event streams, such as for example log files. Based on data parameterized automata and temporal…☆11Dec 21, 2020Updated 5 years ago
- Lambda Jam 2014: Roll Your Own Relational DSL☆15Feb 3, 2017Updated 9 years ago
- A list of resources to jumpstart learning R & Data Science☆20Oct 28, 2014Updated 11 years ago
- Simple Turing machine interpreter and simulator☆22Aug 2, 2015Updated 11 years ago
- Webcomponents the Clojure way☆18Aug 19, 2017Updated 8 years ago
- an experiment in presenting code.☆14Aug 11, 2020Updated 6 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.
- Exercises from Let's Build A Compiler, written in Clojure.☆15Jul 9, 2020Updated 6 years ago
- DEPRECATED - See:☆61Jan 17, 2016Updated 10 years ago
- Data-processing pipeline abstraction using clojure.core.async☆19Dec 14, 2015Updated 10 years ago
- Welcome to help us translate VPlayer for Android strings☆15Oct 10, 2020Updated 5 years ago
- c programming basics and use cases☆15Jun 26, 2025Updated last year
- Gramada is an interactive development environment for programming languages defined in Ohm. It is based on Vivide and implemented in Sque…☆17Mar 6, 2020Updated 6 years ago
- Rust bindings for the NVM Library http://pmem.io☆15Sep 3, 2016Updated 9 years ago
- A CoffeeScript plugin for SBT☆14Aug 8, 2026Updated last week
- Zig language support for Sublime Text.☆14Aug 5, 2026Updated last week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Kamon Monix Integration☆10Mar 6, 2019Updated 7 years ago
- Type Inference Prototyping Engine from Relational specifications of type systems☆11Jun 24, 2020Updated 6 years ago
- A sample project for How I Start.☆17Sep 9, 2014Updated 11 years ago
- A collection of unexpected stories involving emacs☆14May 10, 2026Updated 3 months ago
- A demonstration of STM in Ruby using the Lee benchmark☆11Oct 30, 2020Updated 5 years ago
- Helpful PL/SQL utilities for Oracle database☆18Jun 20, 2025Updated last year
- Webpack config generator for React apps☆12May 5, 2016Updated 10 years ago