gigix / turing_machineView external linksLinks
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
Sorting:
- Tool for detecting bad style in Standard ML programs☆17Mar 10, 2019Updated 6 years ago
- Solutions for some common algorithm problems written in multiple languages.☆10Feb 20, 2016Updated 9 years ago
- Formulário em HTML responsivo, com máscara, datapicker e validação☆10Jan 21, 2018Updated 8 years ago
- KCP - A Fast and Reliable ARQ Protocol A KCP implementation in Erlang☆10Mar 15, 2019Updated 6 years ago
- kd-trees in Clojure☆57Nov 13, 2016Updated 9 years ago
- Just sample codes from books☆14Apr 26, 2011Updated 14 years ago
- Mailchimp signup utility based on flask + aws lambda/s3☆12Mar 17, 2016Updated 9 years ago
- 小海嚴選正妹分頁☆26Jun 6, 2014Updated 11 years ago
- Exercises (including collection operations, ES 6, refactoring, TDD, etc) for frontend deliberate practices. 前端刻意练习材料。包括集合运算、ES6、重构、TDD 等习…☆14Jan 3, 2023Updated 3 years ago
- Web framework for Hunchentoot☆13Dec 19, 2017Updated 8 years ago
- A lispy language that compiles into JavaScript, strongly influenced by Arc.☆14Feb 18, 2011Updated 14 years ago
- THEOplayer Flutter SDK☆14Jan 8, 2026Updated last month
- 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
- Web interface for controlling a Smart TV☆10Jan 5, 2026Updated last month
- A human data language☆14May 8, 2014Updated 11 years ago
- My PhD codebase for reliable automated shape generation via miniKanren-esque (interval!) constraint programming, interval arithmetic desi…☆10Sep 23, 2020Updated 5 years ago
- Dart package to support Wake-on-LAN functionality☆11Oct 7, 2024Updated last year
- ☆15Jul 11, 2012Updated 13 years ago
- Gambit swank backend for SLIME☆40Aug 16, 2011Updated 14 years ago
- Alfred Feedback XML Generation☆27Apr 16, 2013Updated 12 years ago
- Search OS X Terminal commands from Alfred 2☆11Feb 18, 2015Updated 10 years ago
- Use Clojure goodness from Ruby☆14Feb 18, 2012Updated 13 years ago
- A domain-specific language that allows the expression or protein interactions that can be used to build executable models.☆23Dec 13, 2022Updated 3 years ago
- SBT plugin for running mocha JavaScript unit tests on node☆17Jan 13, 2026Updated last month
- Flutter plugin to run all creme sharing routines.☆11Feb 25, 2025Updated 11 months ago
- A simple unit system for Rust☆11Feb 24, 2017Updated 8 years ago
- Flutter package. A ListView with sticky headers and an iOS-like clickable sidebar.☆14Feb 3, 2026Updated last week
- Hello World using Avian for iOS☆18Sep 21, 2016Updated 9 years ago
- Desenvolvimento de aplicativos mobile nativos para iOS e Android com React Native.☆11Jun 18, 2018Updated 7 years ago
- Emacs stuff to provide lightweight usable SSH access☆10Jul 7, 2019Updated 6 years ago
- ☆11Mar 4, 2017Updated 8 years ago
- DNS server written in Common Lisp☆11Jan 19, 2012Updated 14 years ago
- A Functional Reactive Programming framework for Scala☆13Mar 12, 2013Updated 12 years ago
- Checkpointing PoW blockchains with HotStuff BFT☆10Jan 5, 2022Updated 4 years ago
- Kamon Monix Integration☆10Mar 6, 2019Updated 6 years ago
- The exercise project of Java CSD☆14Apr 16, 2023Updated 2 years ago
- This project generates a jar file that you can dump into a Java or Clojure project to startup a repl or an nrepl server to listen on a po…☆83Dec 16, 2023Updated 2 years ago
- Data Driven Testing babel plugin inspired by Groovy's Spock framework 🖖☆15Dec 7, 2022Updated 3 years ago
- 大学做过的各种作业项目等。☆14Dec 20, 2018Updated 7 years ago