This is package aggressive-coffee-kingfisher

A higher-kinded polymorphic type checker and experimental type system implementing System F-Omega with traits, recursive types, variants, and kind inference.

JS-library to calculate, visualize and simulate 4-valued FORMs of the FORM calculus introduced by Ralf Peyn in uFORM iFORM

Custom lambda expression grammar for tree-sitter

This is package energetic-plum-orangutan

This is package excellent-silver-sailfish

when implementing lambda calculus as an interpreter, the depth of the call stack is limited by the hosting language. To avoid this limitation we should implement lambda calculus by machine like SECD.

An implementation of lambda calculus by [explicit substitution](https://en.wikipedia.org/wiki/Explicit_substitution).

Publish consent-based website activity through Bekon

This is package above-scarlet-basilisk

This is package creepy-copper-bobcat

This is package unfair-lavender-kingfisher

This is package firm-tomato-bear

This is package significant-gold-deer

This is package environmental-tan-jay

This is package strong-scarlet-flamingo

This is package semantic-harlequin-ant

This is package helpful-amaranth-ptarmigan

This is package due-lime-shrew

This is package novel-amaranth-giraffe