functional-programming
Repositories (1320)
Δ-Nets: Interaction-Based System for Optimal Parallel λ-Reduction
A practical functional programming library for promises
ftor enables ML-like type-directed, functional programming with Javascript including reasonable debugging.
CS 1501 Student-Taught-Class at the University of Virginia
Functional Template Library for Modern C++
A functional programming language designed for concurrency and failure
Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficient LLVM IR.
dependent types meets deep learning
📄 The Ambients protocol white paper
A functional module for Deno inspired from Ramda.
Higher abstraction infrastructures in F#(ad-hoc polymorphism, subtypeclassing, monad, hkt...), exactly what we've dreamed about for so long
A list of great articles, blog posts, and books for learning XQuery
This project is the legacy version of Standard ML of New Jersey that continues to support older systems (e.g., 32-bit machines).
A Lévy-optimal lambda calculus reducer with a backdoor to C
bidirectional type checking algorithms for higher-ranked polymorphism
React Hooks composition library.
Algebraic data type (ADT) to represent the state of data that is loading from/to remote sources/destinations
Functional Programming Higher order functions in golang
Functional Programming for EcmaScript(Javascript)
Objects are functions! Treat any Object or Class as a Proc (like Enumerable but for Procs).
🔔 Jingle is a dynamically-typed, multi-paradigm programming language designed for humans and machines.
「関数型プログラミングの基礎」サンプルコード
Venice, a Clojure inspired sandboxed Lisp dialect with Java interoperability serving as a safe scripting language.
θ A statically typed, functional programming language that compiles to WebAssembly
✈ Mastering JavaScript from the 🏡 ground up to 🚁 advanced concepts 🍇 Ideal for learners, developers 🫑 and interview prep 🚢 Covers fundamentals...
Hackernews Clone Using CycleJS
My solutions for AoC 2017, using Nim, OCaml, and Python
Scala implementation of data structures from Chris Okasaki's book
Powerful, super tiny and easy to use lib to reorder your javascript arrays.
Functions as a method to raise level of code abstraction
A plug-and-play library for neural networks written in Gleam
WIP stack language that uses regex for control flow
A hands-on journey to learning Haskell by building projects, exercises, and notes. Perfect for people from all backgrounds!
Kotlin Native Ktor server with K8s zero-downtime demo
A curious book about OCaml: logic (types), algebra (values), computation (semantics), functions (lambda calculus), constraints, monads, algebraic effe...
Iterator, Result and Option written in Rust, for Python
Webscraper
A lightweight library for functional programming.
用函数式编程重构代码吧！
Scala Kubernetes Operator library
A package bringing popular functional abstractions (e.g. Option or Result) to C#.
A functional and reactive framework
Miscellaneous esoteric programming languages.
An opinionated micro-framework to help you build practical JSON APIs with Play Framework (or akka-http)
Tiny functional programming suite for JavaScript.
Type calculations at compile time
A brief presentation comparing Scala with Kotlin aimed toward Scala FP devs at 47 Degrees
Point-Free server code.
Transform 'haskell like' pattern matching. Syntax analyzing based on bitwise operators like |(OR) and &(AND). Transforms to javascript function that c...
🔫 safedom is a safe way to you manipulate dom using a purer functional style.