Some papers on "Lambda Calculus"

🧮 Programming with pure lambda calculus

You've heard of the SKI combinators... How about the 🙊🙉🙊 combinators?

C in four functions

Fast and stable sort algorithm that uses O(1) memory. Public domain.

Compiler for Elm, a functional language for reliable webapps.

A FORTH in 340 bytes — the smallest real programming language ever as of yet.

A new headline reader (RSS/Atom)

A collection of tiny command-line games in C

Minimalistic text-based 1-bit music tracker

Real programming languages in 50 lines of code

Perhaps the smallest useful terminal multiplexer in the world.

Minimal examples of data structures and algorithms in Python

The world smallest office suite

🎯Learn the Dart programming language to build cross-platform (Mobile, Web & Desktop) Apps with Flutter!

A small but practical concatenative programming language and shell

The list of awesome programming languages that you might be interested in.

A Bestiary of Single-File Implementations of Programming Languages

Collection of Games that have the source code available on GitHub

Curated list of awesome Esoteric languages and resources

The easy way to learn Scala.

A curated list of awesome PICO-8 resources, carts, tools and more

A curated list of amazingly awesome Elixir and Erlang libraries, resources and shiny things. Updates:

💎 A collection of awesome Crystal libraries, tools, frameworks and software

Monolingual wordlists with pronunciation information in IPA

A lazy Lambda-Mu interpreter implement in Scala 3.

Juggling Lab juggling animator

A command line tool and library for transferring data with URL syntax, supporting DICT, FILE, FTP, FTPS, GOPHER, GOPHERS, HTTP, HTTPS, IMAP, IMAPS, LDAP, LDAPS, MQTT, POP3, POP3S, RTMP, RTMPS, RTSP…

🕸️ Web apps in pure Python 🐍

Transform your project into an explorable 3D world