Awesome Open Source

Programming Languages

Search results for haskell lambda calculus

lambda-calculus x

53 search results found

Write You A Haskell ⭐ 2,744

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

Cedille ⭐ 305

Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations

Elsa is a lambda calculus evaluator

Glambda ⭐ 168

The home of the Glamorous Glambda interpreter

Combinators Js ⭐ 132

🐦 Some combinators

⛪ Church Encoding in JS

Lambdapi ⭐ 86

Dependently Typed Lambda Calculus in Haskell

A lambda calculus to explore type-directed program synthesis.

Andromeda ⭐ 74

GLSL-targetting embedded compiler, and OpenGL rendering engine.

Vanilla Lang ⭐ 73

An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types

🐦 Programming language that only consists of bird emojis

Make a lambda calculus.

Lambda Zero ⭐ 67

minimalist pure lazy functional programming language (pythonic haskell)

🧮 Programming with pure lambda calculus

The compilation target that functional programmers always wanted.

Mikrokosmos ⭐ 52

(λ) Educational lambda calculus interpreter

Lambda Viewer ⭐ 45

Learn You a Lambda, a Haskell Tutorial

Lfvm Stg ⭐ 45

Map lazy functional language constructs to LLVM IR

Haskell Parser Examples ⭐ 45

Examples of a simple parser written in both Parsec and Happy/Alex

Type Theory Compiler ⭐ 38

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

λtext - higher-order file applicator

Fine-grain implementations of common lambda calculi in Haskell, tested with QuickCheck

Lambda Ski ⭐ 27

Implementing a small functional language with a combinator based graph-reduction machine

a library for experimental linear lambda calculus

Haskell implementation of nominal datatypes and functions

🌲 Logic puzzle game based on the lambda calculus

Efficient and single-steppable ULC evaluation algorithm

Functional Quantum Programming

Types and Programming Languages (TAPL)

px is an experimental, typed lambda calculus for _

Elara is a purely-functional programming language targetting the JVM

A lazy and untyped experimental programming language

The guarded λ-calculus

Metalambda ⭐ 8

Gazelle - A scripting language inspired by LISP and Scheme

Haskell Holes Th ⭐ 7

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

Church Turing ⭐ 7

A converter between the lambda calculus and Turing machines in Haskell

Haskellcourse ⭐ 7

Lfc Haskell ⭐ 6

🔮 An experiment with the simply typed lambda calculus, recursion schemes, Cofree, and extensible effects

Pure Type Systems for Functional Programming

Mikrokosmos Js ⭐ 6

Call Mikrokosmos from Javascript

👨‍💻 Implementing System T in Haskell 👨‍💻

Lambda Calculus Java ⭐ 6

Combinators and Lambda Calculus in Java

lambdaQ - a functional quantum programming language.

Lambdacalculusinterpreters ⭐ 6

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

Lambda Diagrams ⭐ 6

Animations of lambda term reduction sequences

Call Cc Krivine ⭐ 6

A Krivine machine for the call-by-name reduction of lambda calculus (with call/cc & clock) expressions in Haskell.

Circular Hos ⭐ 5

Implementation of higher-order syntax using circular programming

An interpreter for the untyped lambda calculus

Lambdacalculus ⭐ 5

A library for lambda calculus with browser client

Scheme Dep ⭐ 5

A scheme port of the Haskell code from "A Tutorial Implementation of a Dependently Typed Lambda Calculus"

A tool for working with abstract categorial grammars (ACG) . Includes a REPL util where terms can be entered, type checked and evaluated.

Related Searches

Haskell Ghc (1,289)

Types Haskell (1,028)

Language Haskell (853)

Haskell Functional Programming (793)

Haskell Monad (681)

Haskell Hackage (574)

Haskell Stack (554)

Haskell Programming (549)

Haskell Bindings (444)

Javascript Haskell (398)

1-53 of 53 search results

Privacy | About | Terms | Follow Us On Twitter

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