ljedrz/lambda_calculus

A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust

Language: Rust - Size: 652 KB - Last synced at: 6 months ago - Pushed at: 9 months ago - Stars: 113 - Forks: 10

OganyanRV/Lambda-calculus-interpreter

Language: Jupyter Notebook - Size: 27.2 MB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 0

radekmie/lambda 📦

Beta reduction graph visualization

Language: JavaScript - Size: 296 KB - Last synced at: 11 months ago - Pushed at: almost 3 years ago - Stars: 5 - Forks: 0

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 - Size: 9.71 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 1

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 - Size: 2.75 MB - Last synced at: almost 2 years ago - Pushed at: almost 5 years ago - Stars: 3 - Forks: 0

qvhaelen/typhon

automatized generation of optimized Gillespie algorithm

Language: Fortran - Size: 3.91 MB - Last synced at: almost 2 years ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0