Awesome Open Source

Programming Languages

Search results for programming lambda calculus

lambda-calculus x

10 search results found

Fp Core.rs ⭐ 644

A library for functional programming in Rust

Cedille ⭐ 305

Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations

🔮 Estudos obscuros de programação funcional

Awesome Functional Studies ⭐ 143

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

Make a lambda calculus.

The Lambda Programming Language

Nandnotebooks ⭐ 16

Jupyter notebooks with some NAND code

A Java Stochastic Dynamic Programming Library

A lazy and untyped experimental programming language

Types and programming languages in reason

Related Searches

Python Programming (3,002)

Javascript Programming (1,991)

C Plus Plus Programming (1,812)

Java Programming (1,806)

C Programming (1,543)

Course Programming (949)

Programming Book (889)

Javascript Functional Programming (789)

Html Programming (772)

Programming Algorithms (718)

1-10 of 10 search results

Privacy | About | Terms | Follow Us On Twitter

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