A converter between the lambda calculus and Turing machines in Haskell
☆12Dec 22, 2012Updated 13 years ago
Alternatives and similar repositories for church-turing
Users that are interested in church-turing are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Airbnb-inspired single-page application geared toward solo travelers. Created with React, Redux, and Rails backend.☆10Jan 19, 2023Updated 3 years ago
- Beyond the scale☆10Aug 9, 2024Updated 2 years ago
- Poems (Mirror)☆10Dec 2, 2020Updated 5 years ago
- A FastAPI application that translates PDF documents to various languages while preserving the original layout and formatting using OpenAI…☆15Mar 17, 2025Updated last year
- OCaml library for manipulating context-free grammars☆20Jun 23, 2026Updated 4 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Navigate and select text by paragraph☆11Feb 21, 2020Updated 6 years ago
- ☆13Sep 13, 2015Updated 11 years ago
- The portable clu compiler☆12Aug 7, 2022Updated 4 years ago
- Compose and perform music in just intonation☆12Oct 15, 2026Updated 3 weeks ago
- A formally verified compiler of untyped lambda calculus to brainfuck☆15Aug 2, 2017Updated 9 years ago
- Dockerfile and web server for running GPT-J-6B on AWS GPU instances☆17Aug 11, 2021Updated 5 years ago
- Simple Gray Scott Reaction Diffusion model implemented in C++ and OpenCL☆14Aug 14, 2019Updated 7 years ago
- Painterly cartography — render MVT/PMTiles vector tiles as paintings (watercolor, ink wash, pencil sketch, …) on a pure-Rust GPU-free CPU…☆17Oct 27, 2026Updated last week
- Solar system simulation implementing Keplerian Orbital Mechanics☆11Jun 2, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A variation on Melinda Green's buddhabrot visualization technique.☆10Jan 16, 2019Updated 7 years ago
- A compiler in Raku☆17Jul 12, 2026Updated 3 months ago
- R package with modeling, forecasting, and early detection & early warning alerts code for EPIDEMIA forecasting reports. The Epidemic Prog…☆14Jan 20, 2021Updated 5 years ago
- Feedback-based Online Local Learning Of Weights (FOLLOW)☆12Feb 13, 2018Updated 8 years ago
- INCENDIUM is a 4kb intro, featuring 3D fluid simulation and music done with WebGPU compute shaders☆14Apr 25, 2025Updated last year
- C++ implementation of Pitteway's algorithm for rasterizing ellipses, parabolas, and hyperbolas☆11Sep 28, 2019Updated 7 years ago
- WebGL Shader for a Gray-Scott reaction diffusion system☆13Oct 11, 2022Updated 4 years ago
- Github action that add Reviewers to the Pull Request☆12Feb 24, 2022Updated 4 years ago
- Deconvolution for Wastewater Genomics☆11Updated this week
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A multiplatform, nano DLNA media server for the terminal☆15Oct 17, 2026Updated 2 weeks ago
- A modern, cross-platform Model Context Protocol (MCP) server that enables AI assistants to browse and interact with both Gopher protocol …☆16Updated this week
- The Machine Learning Concept Map is my attempt at reconstructing all the internal knowledge I've acquired about machine learning over the…☆20Nov 28, 2019Updated 6 years ago
- Full rust rewrite of Assetto Corsa. Bit-exact physics, AC's own renderer, sound, AI, multiplayer, HUD and launcher, verified against the …☆14Updated this week
- 3d gray scott reaction diffusion generative mesh☆12Nov 8, 2017Updated 8 years ago
- Wave function collapse procedural generation for arbitrary graphs☆17Nov 4, 2019Updated 7 years ago
- A Cytoscape.js extension generator☆10Jan 16, 2018Updated 8 years ago
- A set of developer tools for the Sierra AGI adventure game engine☆13Sep 1, 2026Updated 2 months ago
- Exploratory project to gather Haskell links☆10May 27, 2025Updated last year
- 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.
- Gray-Scott reaction-diffusion system in 3D using CUDA☆13Jun 8, 2019Updated 7 years ago
- GoPro WiFi controller board using an ESP8266 allowing easy integration with other circuits☆13Mar 24, 2018Updated 8 years ago
- A Rust crate implementing the Wave Function Collapse algorithm for procedural generation☆14Mar 31, 2023Updated 3 years ago
- A tool for web browsers that simulates execution of the dynamic GoI abstract machine for the lambda-calculus.☆15Oct 1, 2021Updated 5 years ago
- 基于Spring Cloud Alibaba的数字货币交易☆20Jan 6, 2022Updated 4 years ago
- fully featured data type for matrix math☆20Mar 5, 2020Updated 6 years ago
- Renders data structures in a tree fashion☆21Oct 25, 2025Updated last year