reduction-strategies
There are 0 repository under reduction-strategies topic.
ljedrz / lambda_calculus
A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
Language:Rust 96- Language:JavaScript 5
n-alex-goncalves / TuringMachineLambdaCalculusInterpreter
A HTML/JS web application that converts a Turing machine to an untyped lambda calculus term (and vice versa) within a polynomial time complexity.
Language:JavaScript 3- Language:Jupyter Notebook 3
purvilmehta06 / High-Performance-Computing
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, throughput of any given code. How to parallelized any given serial code and how to use spatial or temporal locality in order to achieve best computing performance is the goal for this course.
Language:C 2- Language:Fortran 1
