lambdaconf-2015
The official supporting materials repository for LambdaConf 2015.
AI summary
Language conf repo
Supporting materials repository for LambdaConf 2015 conference featuring talks and workshop content on functional programming languages like Haskell, Rust, and others.
- stars
- 90
- forks
- 50
- watching
- 7
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Haskell web workshop
A Haskell web workshop project providing exercises and resources for learning web development with Haskell
FP tutorial
A curated list of resources to learn Functional Programming in JavaScript
Lambda debugger
Enables live debugging of AWS Lambda functions from a local environment
Game programming tutorial
A collection of materials and code snippets for teaching purely-functional game programming with Scala
Lambda framework
A collection of libraries providing essential components for building Java applications on the AWS Lambda platform.
Lambda framework
A framework for building AWS Lambdas using dependency injection and aspect-oriented programming.
Language specification
Documenting ECMAScript 6 language features for software developers
JavaScript engine wrapper
Native bindings for an embeddable JavaScript engine.
AWS service examples
A companion source code distribution to the AWS Lambda in Action book, providing live demos and example functions for various AWS services
Programming language semantics toolkit
This project provides a development environment and software tools for formalizing the semantics of programming languages in the Coq proof assistant.
Formal semantics tools
Development of formal semantics and verification tools for imperative languages and functional programming languages.
Application framework
A modular framework for building secure, composable, and interoperable on-chain applications
Front-end resource list
A curated collection of resources and tools for front-end development, including HTML5, CSS, JavaScript, games, mobile, and more.
Protocol proposal repository
Provides a location for proposing and discussing proposals for updates to the Algorand protocol.
Functional language formalization
Formalizations of functional languages with a focus on proof and verification
Featured in 1 awesome list
Each link jumps to the spot where the list mentions lambdaconf-2015.
