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:
- Elixir 中文论坛☆20Oct 19, 2023Updated 3 years ago
- Tool for detecting bad style in Standard ML programs☆17Mar 10, 2019Updated 7 years ago
- A command routing tree for terminal applications☆12Nov 28, 2020Updated 5 years ago
- A wrapper around bits of LFE to make using Erjang (Java) from LFE more convenient☆18Apr 23, 2014Updated 12 years ago
- MOVED to code.netzhansa.com/hanshuebner/ans. This GitHub mirror is archived.☆11Jan 19, 2012Updated 14 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.
- Rainbow spec formatter for Crystal☆13Jul 22, 2023Updated 3 years ago
- Wrapper for the Cephes Mathematical Library☆17Jul 5, 2026Updated 4 months ago
- TM Bundles/Package manager☆10Apr 7, 2017Updated 9 years ago
- ext-blog is a common lisp blog engine. It supports custom theme and you can port a WordPress theme for it.☆45Jan 30, 2013Updated 13 years ago
- This repo contains the .NET Core runtime, called CoreCLR. It is an execution engine for .NET apps, performing functions such as IL byte c…☆10Feb 7, 2015Updated 11 years ago
- A tiny command line bookmark manager.☆12Aug 14, 2022Updated 4 years ago
- Lambda Jam 2014: Roll Your Own Relational DSL☆15Feb 3, 2017Updated 9 years ago
- an experiment in presenting code.☆14Aug 11, 2020Updated 6 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
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Website for the Underhanded Rust Contest☆13Mar 8, 2017Updated 9 years ago
- Dash docset generator for Ramda☆14Sep 15, 2022Updated 4 years ago
- StrangeLoop 2013 Rx Presentation☆12Sep 20, 2013Updated 13 years ago
- High-order abstraction for reducible data structures☆13Mar 12, 2013Updated 13 years ago
- A programming language for my daughter.☆10Updated this week
- mongodb database library using scalaz-stream☆12Apr 28, 2014Updated 12 years ago
- Given a sample of JSON, derive an API☆14Apr 17, 2014Updated 12 years ago
- an ur-lisp interpreter written in Rust☆11Jul 18, 2016Updated 10 years ago
- A simple raytacer written in Gambit Scheme, and ported to other implementations☆11Mar 26, 2009Updated 17 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Webpack config generator for React apps☆12May 5, 2016Updated 10 years ago
- A light weight Python web framework.☆11Apr 6, 2016Updated 10 years ago
- Functional Programing in Scala (in Idris) [Idris]☆16Mar 23, 2015Updated 11 years ago
- ☆12Jul 18, 2013Updated 13 years ago
- jStar is a verification tool based on separation logic.☆10Apr 11, 2016Updated 10 years ago
- A Chrome Web Inspector Extension that adds a panel for asynchronous promises☆13Aug 19, 2013Updated 13 years ago
- Type Inference Prototyping Engine from Relational specifications of type systems☆11Jun 24, 2020Updated 6 years ago
- ☆13Aug 2, 2019Updated 7 years ago
- Kamon Monix Integration☆10Mar 6, 2019Updated 7 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- An implementation of a generic Burst Trie in Scala.☆13Nov 24, 2014Updated 11 years ago
- implementation of the Yang et al Jeeves language in Haskell☆10Sep 30, 2014Updated 12 years ago
- Tentative write-up of a neat trick used in the Mezzo type-checker☆15Nov 27, 2015Updated 10 years ago
- A sample project for How I Start.☆17Sep 9, 2014Updated 12 years ago
- git-indexeddb is an implementation of a js-git db on top of IndexedDB☆11Oct 27, 2013Updated 13 years ago
- Web-based Open Source RSS/XML/Atom Feed Reader - It's built to be an open source alternative to Feedly or Google Reader.☆14Dec 1, 2016Updated 9 years ago
- Audio Player☆18Jul 9, 2018Updated 8 years ago