Awesome Open Source

Programming Languages

Search results for types lambda functions

lambda-functions x

1 search results found

Modern Cpp Features ⭐ 17,779

A cheatsheet of modern C++ language and library features.

Haskell Resources ⭐ 824

A List of Foundational Haskell Papers

Typetools ⭐ 587

Tools for working with generic types

Zip It And Ship It ⭐ 311

Intelligently prepare Node.js Lambda functions for deployment

Expresso ⭐ 293

A simple expressions language with polymorphic extensible row types.

Grunt Aws Lambda ⭐ 251

A grunt plugin to assist in developing functions for AWS Lambda.

Glambda ⭐ 168

The home of the Glamorous Glambda interpreter

Aws Lambda Typing ⭐ 97

Python type hints for AWS Lambda

A lambda calculus to explore type-directed program synthesis.

A pure type system implemented in OCaml

Constexpr Format ⭐ 62

Compile-time printf-like string formatting

Gentle Intro To Reflection ⭐ 62

A slow-paced introduction to reflection in Agda. ---Tactics!

Totalitarian ⭐ 46

Totalitarian: typesafe data structures for working with total functions

Aws Lambda Mock Context ⭐ 44

AWS Lambda mock context object

Smallfunction ⭐ 42

Stack allocated and type-erased functors 🐜

implementation of Pure Type Systems (PTS) in Rust.

Dgraph Lambda ⭐ 39

Type Theory Compiler ⭐ 38

Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficient LLVM IR.

Bs Aws Lambda ⭐ 38

aws lambda bucklescript bindings

Basiclambda ⭐ 37

An example of writing an AWS Lambda function in Purescript

A development toolkit for Ruby with several small/cohesive abstractions to empower your development workflow - It's totally free of dependencies.

Callable.hpp ⭐ 33

C++ 11 type traits for callable objects like lambda functions or objects with operator().

Lambda Scala ⭐ 32

Type level lambda calculus in Scala

Expressionbuilder ⭐ 30

Types And Programming Languages ⭐ 27

Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!

Lambdacart ⭐ 27

Lambda syntax for Scala EDSLs

Immutable Hx ⭐ 25

Makes even local vars immutable in Haxe 4.

Magic In Ten Mins Cpp ⭐ 24

B522 Pl Foundations ⭐ 20

Course Webpage for B522 Programming Language Foundations, Spring 2020, Indiana University

Dependently typed Algorithm M and friends

Purescript Type Lang ⭐ 19

Lambda calculus at the type level.

Proof of concept for type-safe, expressive SQL building in TypeScript

Flow Aws Lambda ⭐ 17

Type definitions for writing AWS lambda functions

Aws Lambda Scalajs Facade ⭐ 16

Type definition and utility to implement AWS Lambda functions in Scala.js

Lambda Tdd ⭐ 12

Test Framework for AWS Lambda

Wicket Lambdamodel ⭐ 11

Wicket components and utilities that uses functional features from Java 8

MIML Interpreter for JiPP

Types and Programming Languages (TAPL)

Terraform Aws Asg Instance Refresh ⭐ 9

Terraform module providing a simple AWS Lambda function to update Launch Template for Auto Scaling Group to use the latest AMI stored in SSM Parameter.

An interpreter for a small ML-ish language

Lisp-like functional programming language written in Go

Hello Alexa ⭐ 9

Aws Lambda Layer Types ⭐ 8

Shows how to build the two types of lambda layers in node.js

Bidirectional type checker for the simply typed lambda calculus

Egison Quote ⭐ 7

Quasi quotes for Egison expression

A tool that finds related serp results for the given input.

Haskell Holes Th ⭐ 7

TIP solver for simply typed lambda calculus. Can automatically infer code from type definitions. (TemplateHaskell)

Aws Lambda Response ⭐ 7

A simple package for sending standard responses in AWS Lambda callback functions.

Gocompilation ⭐ 7

workshop golang for devops

Parse Aws Lambda Name ⭐ 6

Parse an AWS Lambda function name into a name and a qualifier

An Ada 2012 implementation of the Rx methodology

Lambdacalculusinterpreters ⭐ 6

Two interpreters for the lambda calculus: one simple and one with typing of ints, bools, and pairs.

A toy lambda calculus language featuring lazy evaluation like Haskell

Lambda_kit ⭐ 6

A set of helpers (.d.ts, handler driver..) for AWS Lambda development.

Java Eventbus ⭐ 6

A simple event bus implementation.

Anki For Diego ⭐ 5

基于开源软件anki的二次开发，简化了部分操作，“傻瓜式”英语学习软件

Cofunctor Pl ⭐ 5

Aws Helper ⭐ 5

Type-safety additions for Java AWS Lambda in API Gateway context

Email Chk ⭐ 5

Check if an email is real

🐺 Husky is a lazy functional language similar to Haskell, but with a more conventional syntax

Detached Runtimetypes ⭐ 5

Create clr types at runtime without having to emit opcodes. Method bodies can be defined using expressions.

Strongtype ⭐ 5

Javascript Pure Meta Library

(un)Typed Lambda Calculus beta-reducer/type checker implemented in Rust.

Related Searches

Javascript Types (8,178)

Amazon Web Services Lambda Functions (7,495)

Javascript Lambda Functions (4,270)

Python Lambda Functions (3,231)

Lambda Functions Serverless (3,071)

Typescript Types (2,606)

Python Types (2,536)

Php Types (1,921)

Java Types (1,598)

C Plus Plus Types (1,282)

1-1 of 1 search results

Privacy | About | Terms | Follow Us On Twitter

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