Awesome Open Source

Programming Languages

Search results for lambda functions programming language

lambda-functions x

programming-language x

0 search results found

My_basic ⭐ 457

A lightweight BASIC interpreter written in standard C in dual files. Aims to be embeddable, extendable and portable.

An interpreter for learning and exploring pure λ-calculus

Cedille ⭐ 305

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

An efficient implementation of the higher-order logic programming language Lambda Prolog

Swiftylisp ⭐ 104

A minimal LISP implemented in Swift

Lambdapi ⭐ 86

Dependently Typed Lambda Calculus in Haskell

Lambda Zero ⭐ 67

minimalist pure lazy functional programming language (pythonic haskell)

🦀 λ Overly-documented Rust-powered Lambda Calculus Interpreter.

CS 704 course website - Principles of Programming Languages

Genius programmer should write his own lisp!

Lambda Function Wrapper ⭐ 48

AWS Lambda nodejs wrapper for writing Lambda functions in other programming languages

Automagical variable binding library for Rust

My toy programming languages

Functionalscript ⭐ 37

FunctionalScript is a purely functional subset of JavaScript

👾 the compiler for the Cm programming language

Types And Programming Languages ⭐ 27

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

A small Lisp programming language written in Golang.

Bricks Front React ⭐ 16

Visual Programming Environment frontend for 'Lambda Bricks'

Lamscript ⭐ 12

The first prototype of the lambda engines scripting language.

Types and Programming Languages (TAPL)

A functional programming language. Like LISP but focused around maps rather than lists.

Dblib Linear ⭐ 10

Formalisation of the linear lambda calculus in Coq

Learning tool for Lambda Students By Lambda Students

Isabelle Lambda Calculus ⭐ 9

A formal definition and verification of System F. To be extended to System Fc

Primarily functional programming language

Small Lang is a small programming language which you are do build yourself as your first programming language.

A new tiny programming language which pursues minimalism

Lambdacalculusinterpreters ⭐ 6

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

An experimental purely functional programming language

a language for the console

Projectlambda ⭐ 5

A calculator / programming language based on lambda calculus. 基于 Lambda 演算的简易编程语言。

1-0 of 0 search results

Privacy | About | Terms | Follow Us On Twitter

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