lambda-calculus topic

🔮 Estudos obscuros de programação funcional

pagarme

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

Chymyst

A curated list of functional programming resources to study the fp paradigm

lambda-study-group

A human readable quasi-concatenative programming language

cognate-lang

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

chibicode

Life like molecular computers with artificial chemistry.

chorasimilarity

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

lazear

The compilation target that functional programmers always wanted.

discus-lang

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

zehaochen19

minimalist pure lazy functional programming language (pythonic haskell)

clark800