FelixThe Felix Programming Language
Stars: ✭ 609 (-87.24%)
Scala WorkflowBoilerplate-free syntax for computations with effects
Stars: ✭ 173 (-96.37%)
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 (-98.16%)
WhyhaskellmattersIn this article I try to explain why Haskell keeps being such an important language by presenting some of its most important and distinguishing features and detailing them with working code examples. The presentation aims to be self-contained and does not require any previous knowledge of the language.
Stars: ✭ 418 (-91.24%)
Milewski Ctfp PdfBartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
Stars: ✭ 9,037 (+89.42%)
Language ExtC# functional language extensions - a base class library for functional programming
Stars: ✭ 3,964 (-16.91%)
ConduitHigh Performance Streams Based on Coroutine TS ⚡
Stars: ✭ 135 (-97.17%)
KeaComposable Functional Programming in R
Stars: ✭ 18 (-99.62%)
CqlCategorical Query Language IDE
Stars: ✭ 196 (-95.89%)
FuncjAssorted functional-oriented data structures and algorithms for Java.
Stars: ✭ 60 (-98.74%)
Fp ResourcesFunctional programming great resources
Stars: ✭ 369 (-92.27%)
Scala typeclassopediaAbstractions and constructions from math (Category theory, Abstract algebra) implementations in Scala, minimal description, links to good explanations, links to implementations in other FP languages: Haskell, Idris, Purescript, non FP too: Java, C++ and to formalizations in proof assistants: Coq (UniMath, HoTT book), Cubical Agda.
Stars: ✭ 338 (-92.92%)
True MythA library for safer and smarter error- and "nothing"-handling in TypeScript.
Stars: ✭ 360 (-92.45%)
NeitherEither and Maybe monads for better error-handling in C++ ↔️
Stars: ✭ 236 (-95.05%)
Learn Fplearn-by-doing course/tutorial for functional programming on scala
Stars: ✭ 548 (-88.51%)
Bow🏹 Bow is a cross-platform library for Typed Functional Programming in Swift
Stars: ✭ 538 (-88.72%)
konadMonads composition API that just works. For OOP developers
Stars: ✭ 62 (-98.7%)
Functional ExamplesExamples with Functional JavaScript, following Professor Frisby's course
Stars: ✭ 179 (-96.25%)
FreestyleA cohesive & pragmatic framework of FP centric Scala libraries
Stars: ✭ 627 (-86.86%)
PurefunFunctional Programming library for Java
Stars: ✭ 37 (-99.22%)
typeclass-interface-patternIdeas, thoughts, and notes on a typeclass/interface based polymorphism pattern for standard C
Stars: ✭ 26 (-99.46%)
Pratica🥃 Functional Algebraic Data Types
Stars: ✭ 246 (-94.84%)
ScriptumA fool's scriptum on functional programming
Stars: ✭ 346 (-92.75%)
Zio PreludeA lightweight, distinctly Scala take on functional abstractions, with tight ZIO integration
Stars: ✭ 267 (-94.4%)
Fp Core.rsA library for functional programming in Rust
Stars: ✭ 772 (-83.82%)
PltλΠ Programming Language Theory
Stars: ✭ 4,609 (-3.4%)
FpgoMonad, Functional Programming features for Golang
Stars: ✭ 165 (-96.54%)
Mu ScalaMu is a purely functional library for building RPC endpoint based services with support for RPC and HTTP/2
Stars: ✭ 266 (-94.42%)
MonioAsync-capable IO monad for JS
Stars: ✭ 311 (-93.48%)
Restc CppModern C++ REST Client library
Stars: ✭ 371 (-92.22%)
Disneycompose🧸 A demo Disney app using Jetpack Compose and Hilt based on modern Android tech-stacks and MVVM architecture.
Stars: ✭ 368 (-92.29%)
FpoFP library for JavaScript. Supports named-argument style methods.
Stars: ✭ 419 (-91.22%)
YalinqoYet Another LINQ to Objects for PHP [Simplified BSD]
Stars: ✭ 400 (-91.62%)
FoundationsFoundations of Functional Programming in Scala is a comprehensive, self-paced online course with no prerequisites, which helps you to become a confident, productive, and powerful functional Scala developer.
Stars: ✭ 366 (-92.33%)
Kroto PlusgRPC Kotlin Coroutines, Protobuf DSL, Scripting for Protoc
Stars: ✭ 400 (-91.62%)
Fun TaskAbstraction for managing asynchronous code in JS
Stars: ✭ 363 (-92.39%)
Tbox🎁 A glib-like multi-platform c library
Stars: ✭ 3,800 (-20.35%)
NixNix, the purely functional package manager
Stars: ✭ 5,291 (+10.9%)
Playandroid🔥🔥🔥 Kotlin + MVVM + LCE版玩安卓,暗黑模式、横竖屏、无网、弱网、无数据、加载失败等等各种情况,协程、Room、Hilt、DataStore、LiveData、Retrofit、屏幕适配、本地缓存、多语言切换、多 lib,你想要的我都有!!!
Stars: ✭ 414 (-91.32%)
CarpCarp is a programming language designed to work well for interactive and performance sensitive use cases like games, sound synthesis and visualizations.
Stars: ✭ 4,389 (-8.01%)
CorbindKotlin Coroutines binding APIs for Android UI widgets from the platform and support libraries
Stars: ✭ 357 (-92.52%)
Arrow🏹 Parse JSON with style
Stars: ✭ 355 (-92.56%)
CudfcuDF - GPU DataFrame Library
Stars: ✭ 4,370 (-8.4%)
Stackzy💻 A cross-platform desktop application to identify libraries used inside an android application. Made possible by Compose Desktop ⚡
Stars: ✭ 307 (-93.57%)
PlamAn interpreter for learning and exploring pure λ-calculus
Stars: ✭ 385 (-91.93%)
Jetpack WanandroidKotlin+Jetpack+Coroutines+Retrofit+koin 完成的MVVM 组件化客户端 🔥🔥
Stars: ✭ 353 (-92.6%)
QoQo - Query Object - Pattern matching and fluent querying in Ruby
Stars: ✭ 351 (-92.64%)
Javascript Exercises📚 Collection of JavaScript exercises and coding challenges.
Stars: ✭ 385 (-91.93%)
Swift Validated🛂 A result type that accumulates multiple errors.
Stars: ✭ 350 (-92.66%)
Swift Prelude🎶 A collection of types and functions that enhance the Swift language.
Stars: ✭ 349 (-92.68%)
KoazeeA StreamLike, Immutable, Lazy Loading and smart Golang Library to deal with slices.
Stars: ✭ 446 (-90.65%)
Pokedex🗡️ Android Pokedex using Hilt, Motion, Coroutines, Flow, Jetpack (Room, ViewModel) based on MVVM architecture.
Stars: ✭ 4,882 (+2.33%)
Swift Web🕸 A collection of Swift server-side frameworks for handling HTML, CSS, routing and middleware.
Stars: ✭ 415 (-91.3%)
Functional JavascriptFunctional is a library for functional programming in JavaScript. It defines the standard higher-order functions such as map, reduce (aka foldl), and select (aka filter). It also defines functions such as curry, rcurry, and partial for partial function application; and compose, guard, and until for function-level programming.
Stars: ✭ 383 (-91.97%)
ConcurrencppModern concurrency for C++. Tasks, executors, timers and C++20 coroutines to rule them all
Stars: ✭ 340 (-92.87%)