Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for haskell lambda functions
haskell
x
lambda-functions
x
4 search results found
Haskell Resources
⭐
824
A List of Foundational Haskell Papers
Cedille
⭐
305
Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
Expresso
⭐
293
A simple expressions language with polymorphic extensible row types.
Hal
⭐
234
hal provides an AWS Lambda Custom Runtime environment for your Haskell applications.
Serverless Haskell
⭐
213
Deploying Haskell applications to AWS Lambda with Serverless
Elsa
⭐
172
Elsa is a lambda calculus evaluator
Glambda
⭐
168
The home of the Glamorous Glambda interpreter
Aws Lambda Haskell
⭐
138
Running Haskell code on AWS Lambda
Book Reviews
⭐
137
Lambda Ccc
⭐
131
Convert lambda expressions to CCC combinators
Ghc Grin
⭐
126
GRIN backend for GHC
Lambda Lantern
⭐
97
🧙 A 3D game about functional programming patterns. Uses PureScript Native, C++, and Panda3D.
Lambdapi
⭐
86
Dependently Typed Lambda Calculus in Haskell
Path
⭐
79
A lambda calculus to explore type-directed program synthesis.
Lambda Launcher
⭐
71
Application launcher in haskell. Mostly Just For Fun.
Lazy Lambda
⭐
70
Lazy Lambda — a Flappy Bird clone in Haskell with SpriteKit
Malc
⭐
69
Make a lambda calculus.
Lambda Zero
⭐
67
minimalist pure lazy functional programming language (pythonic haskell)
Qmuli
⭐
67
Qmuli - Serverless framework for Haskell
Mikrokosmos
⭐
52
(λ) Educational lambda calculus interpreter
Timi
⭐
51
A visual interpreter of the template instantiation machine to understand evaluation of lazy functional languages
Lambda Heights
⭐
47
A fast paced arcade game
Lambda Viewer
⭐
45
Learn You a Lambda, a Haskell Tutorial
Wai Lambda
⭐
41
Haskell Webapps on AWS Lambda
Type Theory Compiler
⭐
38
Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficient LLVM IR.
Mlang
⭐
38
My toy programming languages
Lplzoo
⭐
31
Fine-grain implementations of common lambda calculi in Haskell, tested with QuickCheck
Lambda Database Experiment
⭐
30
Experimental event store database entirely written in Haskell
Stand In Language
⭐
30
a simple total pure functional language, eventually to have powerful static checking and optimization
Unipatterns
⭐
28
Helpers which allow safe partial pattern matching in lambdas
Stache
⭐
27
Mustache templates for Haskell
Byohc Workshop
⭐
27
BYOHC workshop 活動記錄
Frames Beam
⭐
24
Accessing Postgres in a data frame in Haskell
Linlam
⭐
19
a library for experimental linear lambda calculus
Generic Ads
⭐
19
Generalized Authenticated Data Structures
Aws Lambda Benchmark
⭐
17
A project that contains AWS Lambda function implementations for several runtimes e.g. Nodejs, Haskell, Python, Go, Rust, Java, etc.
Microstache
⭐
16
Mustache templates for Haskell. megaparsec -> parsec; stache -> microstache
Haskell Church Encodings
⭐
16
🌀 Church encodings written in Haskell
Demoscene
⭐
16
Demoscene: Lambda Team
Functional Guy
⭐
15
functional programming guild
Itt
⭐
15
Tiny dependent calculus with inference of irrelevance and erasure
Sylvia
⭐
15
🌲 Logic puzzle game based on the lambda calculus
Shen.hs
⭐
13
Shen implementation in Haskell
Lambda
⭐
13
An untyped lambda calculus interpreter
Halma
⭐
12
Chinese Checkers Haskell library, GUI application and Telegram bot
Aws Lambda Haskell
⭐
11
This package makes it easy to run AWS Lambda Functions written in Haskell
As3fp
⭐
11
This library is a collection of functional idioms for ActionScript 3 based on Haskell and Coffeescript.
Each
⭐
11
Aws Lambda Haskell Runtime Wai
⭐
11
Seamlessly deploy your existing Wai application on AWS Lambda.
Miml
⭐
10
MIML Interpreter for JiPP
Stand In Language
⭐
10
A simple but robust virtual machine
Tapl
⭐
10
Types and Programming Languages (TAPL)
Lambda Pi Constraint
⭐
10
Haskell Aws Lambda Kleisli
⭐
10
Run Haskell on AWS Lambda. Deprecated: consider using https://github.com/phadej/aws-lambda-haskell-runti
Fp_cs_23_24
⭐
10
Practice sessions of group 3 for the course "Functional Programming" in the Faculty of Mathematics and Informatics, Sofia University.
Px Lang
⭐
10
px is an experimental, typed lambda calculus for _
Mappy
⭐
10
A functional programming language. Like LISP but focused around maps rather than lists.
Hs Aws Lambda
⭐
9
Haskell bindings for AWS Lambda
Lambdagen
⭐
9
Strongly Typed Bound
⭐
9
My version of Kmett's "strongly typed bound for acowley" snippet.
Tilec
⭐
9
Sometimes when I feel sad I implement a dependently typed lambda calculus.
Functionless
⭐
8
CLI tool for packaging Haskell executables for AWS Lambda
Studyhaskell
⭐
8
Study Haskell in a group setting
Random Name Generator
⭐
8
Random name generator on Heroku
Demo Flappy Lambda
⭐
8
Игра «Flappy Lambda».
Haskell Holes Th
⭐
7
TIP solver for simply typed lambda calculus. Can automatically infer code from type definitions. (TemplateHaskell)
Welcome To Fp Workshop
⭐
7
Support material for the “Introduction to Functional Programming” workshop @ the "Welcome to Functional Programming" day of YOW! Lambda Jam, Sydney, 2018 & 2019
Shimmer
⭐
7
The Reflective Lambda Machine
Egison Quote
⭐
7
Quasi quotes for Egison expression
Iocularia
⭐
7
Lambda
⭐
7
A Lambda Calculus interpreter
Lambdalex
⭐
7
Lambda Calculus-Haskell translator, built with Lex and Yacc.
Lambda
⭐
7
A simple lambda calculus reducer
Lambdacalc
⭐
7
Lambda Calculus Tools and Interpreter written in Haskell
Church Turing
⭐
7
A converter between the lambda calculus and Turing machines in Haskell
Lambdacalculusinterpreters
⭐
6
Two interpreters for the lambda calculus: one simple and one with typing of ints, bools, and pairs.
Henk2000
⭐
6
Pure Type Systems for Functional Programming
Mu
⭐
6
Untyped Lambda Calculus parser & evaluator.
Lambda
⭐
6
Simple Lambda Calculus Interpreter
Morphism
⭐
6
An experimental purely functional programming language
Lfc Haskell
⭐
6
🔮 An experiment with the simply typed lambda calculus, recursion schemes, Cofree, and extensible effects
Lambda Diagrams
⭐
6
Animations of lambda term reduction sequences
Lambda Calculus Java
⭐
6
Combinators and Lambda Calculus in Java
Cofunctor Pl
⭐
5
Lambda
⭐
5
An interpreter for the untyped lambda calculus
Lambda X
⭐
5
Hassle + A Lambda Calculus tool suite and plaything.
Lambdacalculus
⭐
5
A library for lambda calculus with browser client
Jebus
⭐
5
The Jebus Lambda Calculus Interpreter
Lambdainterpreter_haskell
⭐
5
A very simplistic lambda interpreter.
Eta Aws Lambda
⭐
5
An example of running an Eta program as an AWS Lambda function
Lambda Bridge
⭐
5
A bridge from Haskell (on a CPU) to VHDL on a FPGA.
Scheme Dep
⭐
5
A scheme port of the Haskell code from "A Tutorial Implementation of a Dependently Typed Lambda Calculus"
Times
⭐
5
Times•λ , the entrance of project lambda and the world
Systemf
⭐
5
An implementation of System F in Haskell
Related Searches
Amazon Web Services Lambda Functions (7,495)
Javascript Lambda Functions (4,270)
Python Lambda Functions (3,231)
Lambda Functions Serverless (3,071)
Haskell Ghc (1,289)
Java Lambda Functions (1,104)
Lambda Functions Gateway (1,046)
Types Haskell (1,028)
Typescript Lambda Functions (944)
Language Haskell (853)
1-4 of 4 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.