A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
Beta reduction graph visualization
A HTML/JS web application that converts a Turing machine to an untyped lambda calculus term (and vice versa) within a polynomial time complexity.
This repository contains lab work of High Performance Computing. This course is offered at DA-IICT in 6th semester (3rd Year). The main purpose of this course is to get maximum throughput from any system. Depending upon the cache size, processor and using multi threading via open-mp, we are analyzing the performance, its efficiency, speedup, thr…
automatized generation of optimized Gillespie algorithm
Add a description, image, and links to the reduction-strategies topic page so that developers can more easily learn about it.
To associate your repository with the reduction-strategies topic, visit your repo's landing page and select "manage topics."