Projects | Open Source Science

Projects

Updated 5 months ago

https://github.com/adamouization/lambda-calculus-proofs • Rank 0.0 • Science 23%

Short proofs about using the Lambda-Calculus as a Programming Language (2017)

functional-programming lambda lambda-calculus lambda-expressions lambda-functions latex

Updated 6 months ago

flock • Science 54%

Flock: A Low-Cost Streaming Query Engine on FaaS Platforms

continuous-queries etl lambda-functions olap serverless streaming

Updated 5 months ago

https://github.com/awslabs/workflow-data-structure-utilities • Science 13%

Utilities which assist in manipulating data structures in workflow systems

aws lambda lambda-functions sfn step-functions