1566 Open source projects that are alternatives of or similar to Write You A Haskell

Swift type checking and semantic analysis for developer tools

A modern proof language

🔮 A refreshing functional take on deep learning, compatible with your favorite libraries

The compiler for Teal, a typed dialect of Lua

a Compileable statically typed Functional programming Language

🐦 Some combinators

Practice, thinking and reading

程序语言与编译技术相关资料（持续更新中）

The Felix Programming Language

🌳 A tiny language interpreter implemented purely in TypeScript's type-system

The F# compiler, F# core library, F# language service, and F# tooling integration for Visual Studio

Book: Gentle Introduction to Dependent Types with Idris

Fun with λ calculus!

⛪️ Church Encoding in JS

Pragmatic, balanced FP in JavaScript. @FLJSBook on twitter.

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

Repository for the book "Crafting Interpreters"

Apache Groovy: A powerful multi-faceted programming language for the JVM platform

Innovative and practical general-purpose multi-paradigm language

λΠ Programming Language Theory

A list of computer-science readings I recommend

GRIN backend for GHC

Create your own programming language with Rust (WIP)

Linguagem Potigol - Linguagem de programação funcional moderna para iniciantes - A Functional Programming Language for Beginners

Runtime type annotations for CoffeeScript (and JavaScript too!)

Lecture note on Lambda Calculus and Types for FLOLAC

Type System for Data Analysis in Python

A library for functional programming in Rust

An interpreter for learning and exploring pure λ-calculus

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

十分钟魔法练习

Quick, graphical, fun introduction to programming in Scala.

Source code for Scala with Cats

Runtime type checking for JS with Hindley Milner signatures

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

The core OCaml system: compilers, runtime system, base libraries

Research on integrating datalog & lambda calculus via monotonicity types

A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧

The MLton repository

Clio is a functional, parallel, distributed programming language.

GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.

🔮 Estudos obscuros de programação funcional

An APL-like programming language. Self-hosted!

Functional programming language for signal processing and sound synthesis

The Grain compiler toolchain and CLI. Home of the modern web staple. 🌾

A statically typed functional programming language

An in-progress fast, dependently typed, functional programming language implemented in Swift.

Standard ML Compiler and Toolkit

Never: statically typed, embeddable functional programming language.

JHC Haskell compiler split into reusable components

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

Cicada Language

Runtime Extended Inference for json data.

ftor enables ML-like type-directed, functional programming with Javascript including reasonable debugging.

Simple, elegant, Pythonic functional programming.

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

A PEG Parsing Tool

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

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

Source code for the book Rust in Action