Inferno Most Fp DemoA demo for the ReactJS Tampa Bay meetup showing how to build a React+Redux-like architecture from scratch using Inferno, Most.js, reactive programmning, and various functional programming tools & techniques
Stars: β 45 (-84.85%)
RamtuaryRamda + Ramda Fantasy + Sanctuary REPL πΏ
Stars: β 72 (-75.76%)
RambdaxExtended version of Rambda
Stars: β 148 (-50.17%)
Ramda AdjunctRamda Adjunct is the most popular and most comprehensive set of functional utilities for use with Ramda, providing a variety of useful, well tested functions with excellent documentation.
Stars: β 550 (+85.19%)
RambdaFaster and smaller alternative to Ramda
Stars: β 1,066 (+258.92%)
Lambda TalkA Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS
Stars: β 315 (+6.06%)
LambdaFun with Ξ» calculus!
Stars: β 65 (-78.11%)
Write You A HaskellBuilding a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
Stars: β 3,064 (+931.65%)
CurryhowardAutomatic code generation for Scala functions and expressions via the Curry-Howard isomorphism
Stars: β 229 (-22.9%)
Imlazyπ΄ Functional programming with lazy immutable iterables
Stars: β 89 (-70.03%)
Listπ An immutable list with unmatched performance and a comprehensive functional API.
Stars: β 1,604 (+440.07%)
DashFunctional programming library for PHP. Inspired by Underscore, Lodash, and Ramda.
Stars: β 84 (-71.72%)
ChurchβͺοΈ Church Encoding in JS
Stars: β 107 (-63.97%)
Ramda Debugπ Debugging for Ramda.
Stars: β 113 (-61.95%)
KindA modern proof language
Stars: β 2,075 (+598.65%)
PlamAn interpreter for learning and exploring pure Ξ»-calculus
Stars: β 385 (+29.63%)
Fp Core.rsA library for functional programming in Rust
Stars: β 772 (+159.93%)
Bugzπ Composable User Agent Detection using Ramda
Stars: β 15 (-94.95%)
Ramda Extensionπ€Utility library for functional JavaScript. With β€οΈ to Ramda.
Stars: β 139 (-53.2%)
ZebrasData analysis library for JavaScript built with Ramda
Stars: β 192 (-35.35%)
lunarflowLambda calculus go brrrr
Stars: β 27 (-90.91%)
react-boilerplateA Simple React Boilerplate for Web Apps. Uses React, Redux, Webpack, Hot Reloading for JS and CSS, Testing, and more.
Stars: β 18 (-93.94%)
SwiftrexSwift + Redux + (Combine|RxSwift|ReactiveSwift) -> SwiftRex
Stars: β 267 (-10.1%)
lambda-fibonacciImplementation of the Fibonacci sequence in JS using pure Lambda Calculus
Stars: β 18 (-93.94%)
TofuFunctional programming toolbox
Stars: β 281 (-5.39%)
Krivine-MachineAbstract krivine machine implementing call-by-name semantics. In OCaml.
Stars: β 34 (-88.55%)
ProgrammingCode a program in a language of your choice.
Stars: β 269 (-9.43%)
nebuchadnezzaron the way to cleanest react architechture
Stars: β 15 (-94.95%)
CedilleCedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
Stars: β 289 (-2.69%)
SihlA modular functional web framework
Stars: β 267 (-10.1%)
saltThe compilation target that functional programmers always wanted.
Stars: β 62 (-79.12%)
ramdaπ¦Practical functional Go
Stars: β 14 (-95.29%)
Zio PreludeA lightweight, distinctly Scala take on functional abstractions, with tight ZIO integration
Stars: β 267 (-10.1%)
lambdalambda calculus interpreter
Stars: β 23 (-92.26%)
utils.jsFast, small and purely functional utility library
Stars: β 132 (-55.56%)
Throwing FunctionChecked Exceptions-enabled Java 8+ functional interfaces + adapters
Stars: β 279 (-6.06%)
Mu ScalaMu is a purely functional library for building RPC endpoint based services with support for RPC and HTTP/2
Stars: β 266 (-10.44%)
LambdaCalculusPlaygroundAn Android app that provides a visual interface for creating and evaluating lambda calculus expressions
Stars: β 16 (-94.61%)
vanilla-langAn implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types
Stars: β 73 (-75.42%)
Pfps Shopping Cartπ The Shopping Cart application developed in the book "Practical FP in Scala: A hands-on approach"
Stars: β 262 (-11.78%)
ramdasauceRamda smothered in saucy helpers.
Stars: β 69 (-76.77%)
lambda-calculusAn introduction to the Lambda Calculus
Stars: β 59 (-80.13%)
HamstersA mini Scala utility library
Stars: β 292 (-1.68%)
QuarkCommon combinators for Elixir
Stars: β 279 (-6.06%)
lambdaMacro Lambda Calculus
Stars: β 38 (-87.21%)
fp-ts-ramdaRamda functions reimplemented in fp-ts
Stars: β 129 (-56.57%)
spellbookSpellbook is a bookmark extension for Chrome and Firefox
Stars: β 19 (-93.6%)
system-FFormalization of the polymorphic lambda calculus and its parametricity theorem
Stars: β 20 (-93.27%)
ZioZIO β A type-safe, composable library for async and concurrent programming in Scala
Stars: β 3,167 (+966.33%)