lambdaconf-2015
Language conf repo
Supporting materials repository for LambdaConf 2015 conference featuring talks and workshop content on functional programming languages like Haskell, Rust, and others.
The official supporting materials repository for LambdaConf 2015.
90 stars
7 watching
50 forks
Language: JavaScript
last commit: over 9 years ago
Linked from 1 awesome list
xgrommx/awesome-functional-programmingRelated projects:
| Repository | Description | Stars |
|---|---|---|
 serras/lambdaconf-2015-web | A Haskell web workshop project providing exercises and resources for learning web development with Haskell | 63 |
 codekult/adventures-of-lambda-in-js | A curated list of resources to learn Functional Programming in JavaScript | 16 |
 trek10inc/aws-lambda-debugger | Enables live debugging of AWS Lambda functions from a local environment | 294 |
 jdegoes/lambdaconf-2014-introgame | A collection of materials and code snippets for teaching purely-functional game programming with Scala | 163 |
 aws/aws-lambda-java-libs | A collection of libraries providing essential components for building Java applications on the AWS Lambda platform. | 521 |
 cythral/lambdajection | A framework for building AWS Lambdas using dependency injection and aspect-oriented programming. | 16 |
 lukehoban/es6features | Documenting ECMAScript 6 language features for software developers | 29,222 |
 troyedwardsjr/linc_duktape | Native bindings for an embeddable JavaScript engine. | 2 |
 danilop/aws_lambda_in_action | A companion source code distribution to the AWS Lambda in Action book, providing live demos and example functions for various AWS services | 287 |
 xavierleroy/cdf-sem-meca | This project provides a development environment and software tools for formalizing the semantics of programming languages in the Coq proof assistant. | 21 |
| xavierleroy/cdf-mech-sem | Development of formal semantics and verification tools for imperative languages and functional programming languages. | 64 |
 abstractsdk/abstract | A modular framework for building secure, composable, and interoperable on-chain applications | 63 |
 gloparco/master-list-of-html5-js-css-resources | A curated collection of resources and tools for front-end development, including HTML5, CSS, JavaScript, games, mobile, and more. | 304 |
 algorandfoundation/arcs | Provides a location for proposing and discussing proposals for updates to the Algorand protocol. | 126 |
 discus-lang/iron | Formalizations of functional languages with a focus on proof and verification | 142 |