Fp Core.rsA library for functional programming in Rust
Stars: ✭ 772 (+608.26%)
Lambda🔮 Estudos obscuros de programação funcional
Stars: ✭ 297 (+172.48%)
KindA modern proof language
Stars: ✭ 2,075 (+1803.67%)
Write You A HaskellBuilding a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
Stars: ✭ 3,064 (+2711.01%)
Lambda TalkA Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS
Stars: ✭ 315 (+188.99%)
CurryhowardAutomatic code generation for Scala functions and expressions via the Curry-Howard isomorphism
Stars: ✭ 229 (+110.09%)
Church⛪️ Church Encoding in JS
Stars: ✭ 107 (-1.83%)
PlamAn interpreter for learning and exploring pure λ-calculus
Stars: ✭ 385 (+253.21%)
LambdaFun with λ calculus!
Stars: ✭ 65 (-40.37%)
FaustFunctional programming language for signal processing and sound synthesis
Stars: ✭ 1,360 (+1147.71%)
Spotted LeopardsProof of concept for a cats-like library built using Dotty features
Stars: ✭ 91 (-16.51%)
Imlazy😴 Functional programming with lazy immutable iterables
Stars: ✭ 89 (-18.35%)
Fundamental HaskellFundamental 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.
Stars: ✭ 88 (-19.27%)
ParapetA purely functional library to build distributed and event-driven systems
Stars: ✭ 106 (-2.75%)
FroidA library for using the Frege programming language in Android development.
Stars: ✭ 99 (-9.17%)
Spring 5 ExamplesThis repository is contains spring-boot 2 / spring framework 5 project examples. Using reactive programming model / paradigm and Kotlin
Stars: ✭ 87 (-20.18%)
FuegoFunctional Experiment in Golang
Stars: ✭ 87 (-20.18%)
ArticlesCode snippets for articles posted at 4comprehension.com
Stars: ✭ 96 (-11.93%)
CafeappA Real World Business Application using F# and Suave
Stars: ✭ 86 (-21.1%)
FpsheetFPSheet: A Spreadsheet program with Haskell as the scripting language
Stars: ✭ 86 (-21.1%)
ImtoolsFast and memory-efficient immutable collections and helper data structures
Stars: ✭ 85 (-22.02%)
Sodium TypescriptTypescript/Javascript implementation of Sodium FRP (Functional Reactive Programming) library
Stars: ✭ 102 (-6.42%)
ScalacasterPurely Functional Algorithms and Data Structures in Scala
Stars: ✭ 1,342 (+1131.19%)
BulbA reactive programming library for JavaScript.
Stars: ✭ 84 (-22.94%)
Taskorama⚙ A Task/Future data type for JavaScript
Stars: ✭ 90 (-17.43%)
BqnAn APL-like programming language. Self-hosted!
Stars: ✭ 100 (-8.26%)
FunctionalplusFunctional Programming Library for C++. Write concise and readable C++ code.
Stars: ✭ 1,286 (+1079.82%)
Cats StmAn STM implementation for Cats Effect
Stars: ✭ 106 (-2.75%)
Test Each🤖 Repeat tests. Repeat tests. Repeat tests.
Stars: ✭ 89 (-18.35%)
MonocleOptics library for Scala
Stars: ✭ 1,357 (+1144.95%)
KotlintutorialLearn Kotlin programming from scratch
Stars: ✭ 88 (-19.27%)
FunctionaljavaFunctional programming in Java
Stars: ✭ 1,472 (+1250.46%)
Theseustheseus, functional programming language with fully reversible computation
Stars: ✭ 87 (-20.18%)
EffectsA brief exploration of the various approaches to modeling side effects in a purely functional programming language.
Stars: ✭ 98 (-10.09%)
Zio LoggingSimple logging for ZIO apps, with correlation, context & pluggable backends out of the box.
Stars: ✭ 85 (-22.02%)
SspipeSimple Smart Pipe: python productivity-tool for rapid data manipulation
Stars: ✭ 96 (-11.93%)
FsconfigFsConfig is a F# library for reading configuration data from environment variables and AppSettings with type safety.
Stars: ✭ 108 (-0.92%)
Taelinarena[outdated] A moddable MOBA in Formality
Stars: ✭ 84 (-22.94%)
DashFunctional programming library for PHP. Inspired by Underscore, Lodash, and Ramda.
Stars: ✭ 84 (-22.94%)
TetrisA clone of the popular game Tetris.
Stars: ✭ 96 (-11.93%)
OrkestraFunctional DevOps with Scala and Kubernetes
Stars: ✭ 102 (-6.42%)
Zio QueryAdd efficient pipelining, batching, and caching to any data source
Stars: ✭ 84 (-22.94%)
Tensor SafeA Haskell framework to define valid deep learning models and export them to other frameworks like TensorFlow JS or Keras.
Stars: ✭ 96 (-11.93%)
Functionalrx2FunctionalRx2 is a collection of constructs to simplify a functional programming approach to Java and Android [STABLE]
Stars: ✭ 83 (-23.85%)
Omnia Stars: ✭ 81 (-25.69%)
PaperplaneLighter-than-air node.js server framework
Stars: ✭ 95 (-12.84%)
Monix BioAsynchronous data type with typed errors.
Stars: ✭ 80 (-26.61%)
Faux PasA library that simplifies error handling for Functional Programming in Java
Stars: ✭ 100 (-8.26%)
ExpressionPragmatic functional programming for Python inspired by F#
Stars: ✭ 94 (-13.76%)
Aardvark.renderingThe dependency-aware, high-performance aardvark rendering engine. This repo is part of aardvark - an open-source platform for visual computing, real-time graphics and visualization.
Stars: ✭ 79 (-27.52%)
IdiolispA statically typed functional programming language
Stars: ✭ 78 (-28.44%)
TycheStatistics utilities for the JVM - in Scala!
Stars: ✭ 93 (-14.68%)
GoatAnnotate Images (or goats) On The Web™
Stars: ✭ 78 (-28.44%)
LuxThe Lux Programming Language
Stars: ✭ 1,211 (+1011.01%)