Simulation of a deterministic Turing Machine using Haskell
☆13May 1, 2013Updated 13 years ago
Alternatives and similar repositories for haskell-turing-complete
Users that are interested in haskell-turing-complete are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Command-line haskell utility to get current weather using the forecast.IO API☆12Mar 7, 2016Updated 10 years ago
- A Haskell implementation of distributed hash tables with two-phase commit.☆10Dec 9, 2016Updated 9 years ago
- My personal development environment☆11Updated this week
- Add a hspec test-suite in one command☆10Aug 22, 2016Updated 10 years ago
- A collection of ready-to-use Prometheus Metrics to monitor your Haskell application☆13Jul 21, 2026Updated 2 months ago
- 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.
- utility functions for testing attoparsec parsers with hspec☆14Mar 21, 2015Updated 11 years ago
- Collection of errata for book Aarne Ranta, Implementing Programming Languages☆12Sep 10, 2026Updated last month
- Mochiweb html parser xpath extension☆16Feb 26, 2010Updated 16 years ago
- Stream editing with Haskell Attoparsec parsers☆14May 30, 2023Updated 3 years ago
- The Chart Study tool, by base.report, is a web-based application for analyzing stock charts.☆15Mar 17, 2023Updated 3 years ago
- Filling and manupulation with histograms☆17Mar 10, 2025Updated last year
- Port of Shen to run on top of Wasp Lisp☆25Apr 29, 2022Updated 4 years ago
- ☆12Apr 5, 2017Updated 9 years ago
- A graduate course on distributed systems☆17Jul 17, 2022Updated 4 years ago
- 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.
- Demonstrating a practical attack on the Diffie Hellman Key Exchange protocol, through breaking a secure chat system☆15Oct 23, 2015Updated 10 years ago
- http://www.cse.chalmers.se/edu/course/afp/☆16Dec 1, 2015Updated 10 years ago
- An Elm 0.19.x package for working with Phoenix WebSockets☆16Sep 2, 2021Updated 5 years ago
- Ejemplo de como hacer Material Design en versiones Anteriores a 5.0 usando Toolbar API y AppCompat☆10Jan 13, 2015Updated 11 years ago
- Easily time one or more commands with one or more executables and show tabular results☆25May 8, 2025Updated last year
- LL(1) parser generator☆15Jul 12, 2018Updated 8 years ago
- Core modules for a blazing fast markup combinator library☆24May 25, 2025Updated last year
- ☆13Nov 26, 2024Updated last year
- The site that runs MasteringMarkdown.com☆16Oct 15, 2018Updated 8 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Logging library to provide more convenient, extremely configurable but simple monadic interface with pretty output☆18Mar 4, 2020Updated 6 years ago
- Validate STIX and CybOX XML documents☆26Feb 16, 2024Updated 2 years ago
- A demangler package for gcc 3.x and gcc 4.x☆11May 2, 2018Updated 8 years ago
- Notes but for all to see (always unfinished, probably "unuseless")☆13Jan 24, 2026Updated 8 months ago
- Run lifted IO operations asynchronously and wait for their results☆29Jun 26, 2026Updated 3 months ago
- Console-related functions☆23Updated this week
- 🛗 Typeclass for monads that can be unlifted to arbitrary base monads☆25Apr 21, 2021Updated 5 years ago
- Aff wrappers for purescript-node-fs☆21Aug 4, 2023Updated 3 years ago
- a replication of Network in network in torch. original code : https://github.com/mavenlin/cuda-convnet☆15Jan 1, 2015Updated 11 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.
- Haskell metrics library☆21Aug 9, 2017Updated 9 years ago
- Simulation of quantum mechanics (unofficial fork)☆10Aug 31, 2017Updated 9 years ago
- Lean Haskell Benchmarking☆90Aug 30, 2022Updated 4 years ago
- A ConvNet based approach to signature verification☆13Mar 19, 2017Updated 9 years ago
- Use conduit to process/manipulate/convert audio☆18Feb 26, 2026Updated 7 months ago
- Haskell library for evaluating whether chess moves are allowed on a given position☆13Mar 13, 2015Updated 11 years ago
- Easy and powerful typeful logging without monad towers, in Haskell.☆26May 7, 2024Updated 2 years ago