Awesome Open Source

Programming Languages

Search results for functional programming lambda calculus

functional-programming x

lambda-calculus x

36 search results found

A next-gen functional language

Write You A Haskell ⭐ 2,744

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

Magic In Ten Mins ⭐ 693

十分钟魔法练习

Fp Core.rs ⭐ 644

A library for functional programming in Rust

An interpreter for learning and exploring pure λ-calculus

🔮 Estudos obscuros de programação funcional

Lambda Talk ⭐ 246

A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS

Curryhoward ⭐ 232

Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism

Cognate ⭐ 196

A human readable quasi-concatenative programming language

Y Combinator For Non Programmers ⭐ 145

🍱 Y Combinator for Non-programmers: A Wild Introduction to Computer Science

Awesome Functional Studies ⭐ 143

A curated list of functional programming resources to study the fp paradigm

Combinators Js ⭐ 132

🐦 Some combinators

⛪ Church Encoding in JS

Coq formalizations of functional languages.

🐦 Programming language that only consists of bird emojis

Make a lambda calculus.

Lambda Zero ⭐ 67

minimalist pure lazy functional programming language (pythonic haskell)

Fun with λ calculus!

The compilation target that functional programmers always wanted.

🦀 λ Overly-documented Rust-powered Lambda Calculus Interpreter.

Type Theory Compiler ⭐ 38

Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficient LLVM IR.

Python Lambda Calculus ⭐ 29

Lambda Calculus things implemented on Python

Magnificats ⭐ 28

Collection of ATS goodness

Lambda Ski ⭐ 27

Implementing a small functional language with a combinator based graph-reduction machine

Ats Blockchain ⭐ 19

⛓️ Blockchain + Smart contracts from scratch

Lambda Fibonacci ⭐ 18

Implementation of the Fibonacci sequence in JS using pure Lambda Calculus

Bologna Optimal Higher-Order Machine, Version 1.1

Lambda Calculus ⭐ 13

A simple Programming Language Compiler to Lambda-Calculus, with a Lambda-Runtime

Purity Project ⭐ 12

Contains realisations of common-used math functions and classical algorithms, written in Scala's pure-functional style.

jml - a useful web/cloud minimal unikernel distributed operating system

Compilers ⭐ 10

A place for me to learn/ experiment with interpreters/compilers

A lazy and untyped experimental programming language

Gazelle - A scripting language inspired by LISP and Scheme

Haskellcourse ⭐ 7

Binary Lambda Calculus evaluation engine written in Malbolge.

Lambda Calculus Java ⭐ 6

Combinators and Lambda Calculus in Java

Lambda Calculus In Js ⭐ 6

Lambda Kalkül für praktisches vanilla JavaScript - IP5 HS2019 / IP6 HS2020

Projectlambda ⭐ 5

A calculator / programming language based on lambda calculus. 基于 Lambda 演算的简易编程语言。

Lambda4j - Additional non-throwable and throwable Java 8 lambdas.

Related Searches

Javascript Functional Programming (2,473)

Java Functional Programming (850)

Typescript Functional Programming (757)

Scala Functional Programming (499)

Haskell Functional Programming (390)

Html Functional Programming (305)

Functional Programming Monad (270)

Lambda Functions Functional Programming (209)

Python Functional Programming (206)

Types Functional Programming (195)

1-36 of 36 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.