56 Open source projects that are alternatives of or similar to lambda-fibonacci

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

The compilation target that functional programmers always wanted.

lambda calculus interpreter

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

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

An introduction to the Lambda Calculus

Macro Lambda Calculus

Formalization of the polymorphic lambda calculus and its parametricity theorem

Minimalistic dependent type theory with syntactic metaprogramming

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.

Course materials for Dartmouth course: Human Memory (PSYC 51.09)

An inference engine for extensional untyped λ-calculus

Lambda Notebook: Formal Semantics in Jupyter

Seminar work "Decision Trees - An Introduction" with presentation, seminar paper, and Python implementation

tomsup 👍 Theory of Mind Simulation using Python. A package that allows for easy agent-based modelling of recursive Theory of Mind

An interactive theorem prover based on lambda-tree syntax

Book: Gentle Introduction to Dependent Types with Idris

C++ library for simulation of multiscale neural field dynamics

A minimalist pure lazy functional programming language

Church Encoding Implementation in JavaScript

Bologna Optimal Higher-Order Machine, Version 1.1

Efficient and single-steppable ULC evaluation algorithm

An implementation of Hoare and He's Unifying Theories of Programming in Isabelle

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

Elsa is a lambda calculus evaluator

A modern proof language

Coq formalizations of functional languages.

🐦 Some combinators

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

⛪️ Church Encoding in JS

An implementation of the Formality language in JavaScript

Fun with λ calculus!

(λ) Educational lambda calculus interpreter

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

implementation of Pure Type Systems (PTS) in Rust.

λtext - higher-order file applicator

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

Formalisation of the linear lambda calculus in Coq

Some incremental examples suitable to host an AWS Lambda Functions workshop

A library for functional programming in Rust

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.

An interpreter for learning and exploring pure λ-calculus

十分钟魔法练习

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

🔮 Estudos obscuros de programação funcional

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

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

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

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

⛓️ Blockchain + Smart contracts from scratch

Lecture note on Lambda Calculus and Types for FLOLAC

Lambda calculus go brrrr

Papers from the computer science community to read and discuss.

Transfer learning / domain adaptation / domain generalization / multi-task learning etc. Papers, codes, datasets, applications, tutorials.-迁移学习

List of telegram groups, channels & bots // Список интересных групп, каналов и ботов телеграма // Список чатов для программистов

pbrt 中文整合翻译 基于物理的渲染：从理论到实现 Physically Based Rendering: From Theory To Implementation