Awesome Open Source

Programming Languages

Search results for functional programming calculus

functional-programming x

16 search results found

Programming Language Theory λΠ

Functional Programming For The Rest Of Us Cn ⭐ 1,448

文章《Functional Programming For The Rest of Us》的中文翻译

Lambda Talk ⭐ 246

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

Chymyst Core ⭐ 146

Declarative concurrency in Scala - The implementation of the chemical machine

Awesome Functional Studies ⭐ 143

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

Icfp2016 Papers ⭐ 143

Link to preprints for ICFP'16 and co-located events

Make a lambda calculus.

Fun with λ calculus!

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

Bologna Optimal Higher-Order Machine, Version 1.1

PolyRPC, A multi-tier functional programming language

Functional Guy ⭐ 15

functional programming guild

Iodyn Lang.rust ⭐ 14

IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections

Chapter8_fp ⭐ 12

Dependently typed core calculus with erasure

Purity Project ⭐ 12

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

[WIP] A functional programming language based on Coeffect Calculus and Graded Modal Type Theory.

Haskellcourse ⭐ 7

Lambda Calculus Java ⭐ 6

Combinators and Lambda Calculus in Java

An Intellectual History of Automatic Differentiation

Chymyst Book ⭐ 5

Concurrency in Reactions: Declarative multicore programming in Scala

Shen Luajit ⭐ 5

Shen Luajit Implementation

Plan recognition system based on the situation calculus and action language Golog, written in Haskell

Related Searches

Javascript Functional Programming (2,473)

Java Functional Programming (850)

Typescript Functional Programming (775)

Scala Functional Programming (499)

Lambda Functions Calculus (377)

Functional Programming Types (195)

Haskell Calculus (190)

Language Functional Programming (188)

Python Calculus (176)

Mathematics Calculus (170)

1-16 of 16 search results

Privacy | About | Terms | Follow Us On Twitter

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