537 Open source projects that are alternatives of or similar to Kind

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

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

🐦 Some combinators

Cicada Language

An interpreter for learning and exploring pure λ-calculus

Fun with λ calculus!

十分钟魔法练习

Book: Gentle Introduction to Dependent Types with Idris

🔮 Estudos obscuros de programação funcional

Lecture note on Lambda Calculus and Types for FLOLAC

⛪️ Church Encoding in JS

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

λΠ Programming Language Theory

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

A library for functional programming in Rust

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

Optics library for Scala

FsConfig is a F# library for reading configuration data from environment variables and AppSettings with type safety.

A brief exploration of the various approaches to modeling side effects in a purely functional programming language.

Simple Smart Pipe: python productivity-tool for rapid data manipulation

Agda is a dependently typed programming language / interactive theorem prover.

Functional programming in Java

A clone of the popular game Tetris.

Lighter-than-air node.js server framework

⚡ Pattern Matching in Typescript

Pragmatic functional programming for Python inspired by F#

Functional programming language for signal processing and sound synthesis

A powerful caching library for Python, with TTL support and multiple algorithm options.

A library for using the Frege programming language in Android development.

Easy way to create Free Monad using Scala macros with first-class Intellij support.

Code snippets for articles posted at 4comprehension.com

Scala FP configuration library with a focus on runtime clarity

Purely Functional Algorithms and Data Structures in Scala

Simple tuples to use with RxJava [STABLE]

A Haskell framework to define valid deep learning models and export them to other frameworks like TensorFlow JS or Keras.

A SuperCompiler for Martin-Löf's Type Theory

constexpr C++17 library for simplifying higher order functions in application code

Functional style JSON parsing in Kotlin

Statistics utilities for the JVM - in Scala!

好玩的下拉刷新控件，让我们一起来回味童年

Functional stuff for Python

Facebook's React on Scala.JS

An STM implementation for Cats Effect

A PureScript, browser-based implementation of LDA topic modeling.

⚙ A Task/Future data type for JavaScript

A purely functional library to build distributed and event-driven systems

Proof of concept for a cats-like library built using Dotty features

Functional Programming Library for C++. Write concise and readable C++ code.

Javascript Generalized Parser Combinators

Event sourcing for Akka Streams

😴 Functional programming with lazy immutable iterables

🤖 Repeat tests. Repeat tests. Repeat tests.

Typescript/Javascript implementation of Sodium FRP (Functional Reactive Programming) library

Fundamental Haskell book, to the point terse statements on Haskell, Category theory, and related fields. Encyclopedic pocketbook of meaning. Zen kōan-like meditations of understanding. For quick or memory curve spaced repetition learning.

Learn Kotlin programming from scratch

Functional 3D Webgl Editor

Testing framework for Purescript

Functional DevOps with Scala and Kubernetes