91 Open source projects that are alternatives of or similar to vanilla-lang

Formalization of the polymorphic lambda calculus and its parametricity theorem

Lecture note on Lambda Calculus and Types for FLOLAC

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

A statically-typed strictly-evaluated garbage-collected readable programming language.

An introduction to the Lambda Calculus

λtext - higher-order file applicator

Bologna Optimal Higher-Order Machine, Version 1.1

Canonical sources for HOL4 theorem-proving system. Branch `develop` is where “mainline development” occurs; when `develop` passes our regression tests, `master` is merged forward to catch up.

🔮 Estudos obscuros de programação funcional

An inference engine for extensional untyped λ-calculus

Elsa is a lambda calculus evaluator

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

implementation of Pure Type Systems (PTS) in Rust.

A minimalist pure lazy functional programming language

Some incremental examples suitable to host an AWS Lambda Functions workshop

Java Practiced Problems including concepts of OOPS, Interface, String , Collection.

十分钟魔法练习

Ideas, thoughts, and notes on a typeclass/interface based polymorphism pattern for standard C

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

ftor enables ML-like type-directed, functional programming with Javascript including reasonable debugging.

⛓️ Blockchain + Smart contracts from scratch

Coq formalizations of functional languages.

Implementation of the Fibonacci sequence in JS using pure Lambda Calculus

The compilation target that functional programmers always wanted.

Lambda Notebook: Formal Semantics in Jupyter

🍱 Y Combinator for Non-programmers: A Wild Introduction to Computer Science

An Android app that provides a visual interface for creating and evaluating lambda calculus expressions

A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust

Book: Gentle Introduction to Dependent Types with Idris

Minimalistic dependent type theory with syntactic metaprogramming

Formalisation of the linear lambda calculus in Coq

Church Encoding Implementation in JavaScript

A library for functional programming in Rust

Node-Module to validate your model against a swagger spec and receive in-depth error traces

An interpreter for learning and exploring pure λ-calculus

Efficient and single-steppable ULC evaluation algorithm

A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS

A universe of scope- and type-safe syntaxes (syntices?). Includes generic implementation of type-preserving renaming/substitution with all the proofs you could possibly need.

Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism

Discriminated Json Subtypes Converter implementation for .NET

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

Macro Lambda Calculus

A modern proof language

An implementation of the Formality language in JavaScript

Знаете ли вы ооп?

Lambda calculus go brrrr

Fast containers of polymorphic objects.

Abstract krivine machine implementing call-by-name semantics. In OCaml.

🐦 Some combinators

lambda calculus interpreter

Building blocks for strongly typed polymorphic components in React.

⛪️ Church Encoding in JS

TE: C++17 Run-time polymorphism (type erasure) library

Provide popup to specify the type of the field serialized by the [SerializeReference] attribute in the inspector.

Fun with λ calculus!

Object-Oriented Programming concepts in Python

PHPStan based SQL static analysis and type inference for the database access layer

Datastructures and algorithms for working with genetic variation

An interactive theorem prover based on lambda-tree syntax

(λ) Educational lambda calculus interpreter