100 Open source projects that are alternatives of or similar to frp_agda

XOD IDE

Simple, expressive, and safe UI library for Scala.js

ReRxSwift: RxSwift bindings for ReSwift

An advanced, composable, functional reactive model-view-viewmodel framework for all .NET platforms that is inspired by functional reactive programming. ReactiveUI allows you to abstract mutable state away from your user interfaces, express the idea around a feature in one readable place and improve the testability of your application.

Showcase project of Functional Reactive Programming on Android, using RxJava.

Functional Reactive Programming in Event Sourcing Systems

Github Language Statistics

Cross-platform IDE for development in Oberon programming language made in the classical FreePascal-like pseudo-graphic style.

🦖 Streaming-Serverless Framework for Low-latency Edge Computing applications, running atop QUIC protocol, engaging 5G technology.

⚡️Comic reader app 📘. Learning MVVM / MVI with 🌀 RxKotlin, Retrofit, Kotlin Coroutine, Work Manager, Room, Firebase, AndroidX Startup, Clean Architecture ... ❄️

A functional reactive framework for managing state evolution and side-effects.

Reflex wrapper for the ACE editor

🧙 ‎‎ A 3D game about functional programming patterns. Uses PureScript Native, C++, and Panda3D.

Kickstarter for Android. Bring new ideas to life, anywhere.

⚛ Stateful functional components for React.

A declarative programming framework

Classic and Arrowized Functional Reactive Programming, Reactive Programming, and Stream programming, all via Monadic Stream Functions

A functional reactive framework for managing state evolution and side-effects [Swift implementation]

Algebraic proof discovery in Agda

A Swift Multiplatform Single-threaded Non-blocking Web and Networking Framework

Playing around marvel public API with RxSwift, Argo, Alamofire

Purely functional reactive programming library

Monad, Functional Programming features for Golang

🎙 Stateful event observing engine [DEPRECATED]

Kickstarter for iOS. Bring new ideas to life, anywhere.

Interactive programs without callbacks or side-effects. Functional Reactive Programming (FRP) uses composable events and time-varying values to describe interactive systems as pure functions. Just like other pure functional code, functional reactive code is easier to get right on the first try, maintain, and reuse.

Another A/B test library

Redux-clone build with strict typing and RxJS down to its core. Wrist-friendly, no boilerplate or endless switch statements

Non-trivial, real use case demo of a hierarchical state machine library with cyclejs

Agda language support for the Atom editor

Bring functional reactive programming to Redux using Cycle.js

A functional reactive framework for managing state and side effects based on RxJava.

Purely functional frontend framework for building web applications

Cross-platform .NET library for computations whose arguments and results are objects that implement INotifyPropertyChanged and INotifyCollectionChanged (ObservableCollection) interfaces.

My way to MVVM using KotlinX Coroutines and Android data-binding

Build terminal applications using functional reactive programming (FRP) with Reflex FRP.

A curated package set and set of tools that let you build Haskell packages so they can run on a variety of platforms. reflex-platform is built on top of the nix package manager.

Multi-Paradigm Dynamic Fast Functional Reactive Programming in Julia

LPDMvvmKit - Elegant MVVM framework in Objective-C.

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

A Cloud at the lowest level!

Univalent mathematics in Agda

A collection of awesome RxJS resources

This repository is contains spring-boot 2 / spring framework 5 project examples. Using reactive programming model / paradigm and Kotlin

Web applications without callbacks or side-effects. Reflex-DOM brings the power of functional reactive programming (FRP) to the web. Build HTML and other Document Object Model (DOM) data with a pure functional interface.

A collection of extensions to the ReactiveSwift framework.

Functional Reactive Programming domain-specific language embedded in Haskell, for programming efficient hybrid (mixed discrete-time and continuous-time) systems.

Functional reactive programming extensions library for Julia

A MobX powered state management solution based on data trees with first class support for Typescript, support for snapshots, patches and much more

Language Server for Agda

(unmaintained) A discrete FRP DSL for describing better build pipelines.

🔧 - Battlefield of an idea, how to make the same media picker than Instagram

Clean Architecture with RxSwift & MVVM - Templates and Solutions

A test suite comparing the performance of Combine and RxSwift

A functional-reactive style programming library for Clojure(script)

A universe of scope- and type-safe syntaxes (syntices?). Includes generic implementation of type-preserving renaming/substitution with all the proofs you could possibly need.

Category theory formalized in cubical agda

See Reflex FRP in action with tinker-friendly code samples you can run yourself.

Keera Hails: Haskell on Rails - Reactive Programming Framework for Interactive Haskell applications

Facsimile Simulation Library