99 Open source projects that are alternatives of or similar to universe-of-syntax

A library for functional programming in Rust

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

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

λtext - higher-order file applicator

lambda calculus interpreter

Bologna Optimal Higher-Order Machine, Version 1.1

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

python library for automated dataset normalization

Lambda calculus go brrrr

🐦 Some combinators

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

Macro Lambda Calculus

Agda language support for the Atom editor

Formalisation of the linear lambda calculus in Coq

URL normalization for Python

An interpreter for learning and exploring pure λ-calculus

Efficient and single-steppable ULC evaluation algorithm

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

An inference engine for extensional untyped λ-calculus

⛓️ Blockchain + Smart contracts from scratch

A modern proof language

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

Fast in-silico normalization algorithm for NGS data

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

⛪️ Church Encoding in JS

(λ) Educational lambda calculus interpreter

Formalization of the polymorphic lambda calculus and its parametricity theorem

This package has migrated to https://github.com/rezakj/iCellR please use iCellR instead of scSeqR for more functionalities and updates.

implementation of Pure Type Systems (PTS) in Rust.

Algebraic proof discovery in Agda

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

Church Encoding Implementation in JavaScript

Some incremental examples suitable to host an AWS Lambda Functions workshop

Category theory formalized in cubical agda

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.

Class Normalization for Continual Zero-Shot Learning

十分钟魔法练习

Book: Gentle Introduction to Dependent Types with Idris

🔮 Estudos obscuros de programação funcional

Text Normalization & Inverse Text Normalization

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

PyTorch implementation of EMAN for self-supervised and semi-supervised learning: https://arxiv.org/abs/2101.08482

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

Elsa is a lambda calculus evaluator

Lecture note on Lambda Calculus and Types for FLOLAC

Language Server for Agda

Implementation of the Fibonacci sequence in JS using pure Lambda Calculus

Coq formalizations of functional languages.

The compilation target that functional programmers always wanted.

Lambda Notebook: Formal Semantics in Jupyter

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

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

An introduction to the Lambda Calculus

Collection of custom layers and utility functions for Keras which are missing in the main framework.

An implementation of the Formality language in JavaScript

Normalization and denormalization of GraphQL responses

Univalent mathematics in Agda

An interactive theorem prover based on lambda-tree syntax

A minimalist pure lazy functional programming language

Fun with λ calculus!