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

A library for building functional-reactive (FRP) GUIs in Clojurescript

A reflex-dom API for Semantic UI components

Code repository for Swift 3 Functional Programming, published by Packt

Functional Programming for EcmaScript(Javascript)

State propagation and event streams with mandatory ownership and no glitches

😃 A functional reactive programming (FRP) demo created with PureScript events and behaviors.

GSD (Get your Stuff Done) | Basic Todo list for demonstrating CQRS/Command Sourcing in Haskell

Functional, type-safe, stateless reactive Java API for efficient implementation of the API Composition Pattern for querying/merging data from multiple datasources/services, with a specific focus on solving the N + 1 query problem

State containers with dirty checking and more

A core java lib for the functional reactive coding ... JDK only

Framework for writing fully native apps using Reflex, a Functional Reactive Programming library for Haskell.

🌌 Global State and Logic Library for JavaScript/Typescript applications

Uploader for Android using RxJava

Simple bot trader for Bitmex

Simple iOS app using TMDb API and RxSwift

Experimental continuous Behaviors for most.js

Functional visual programming language with FRP for multimedia

Agda is a dependently typed programming language / interactive theorem prover.

A workshop on learning Agda with minimal prerequisites.

The theory of algebraic graphs formalised in Agda

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

A slow-paced introduction to reflection in Agda. ---Tactics!

Mtac in Agda

Category theory applied to functional programming (undergraduate project)

A builder for LaTeX, knitr, literate Agda, literate Haskell and Pweave that automatically builds dependencies.

wherein I implement several substructural logics in Agda

agda-mode on VS Code

An Emacs mode for working with Agda code in an Org-mode like fashion, more or less.

Constructive Interpretations of HoTT

apkg - package manager for Agda

Deciding Presburger arithmetic in agda

Proof automation – for Agda, in Agda.

Type Theory in Type Theory using Cubical Agda

A TACtic library for Agda

Accessing Agda's interaction mode via command line & external tactic for Agda.

A formalization of category theory in cubical Agda

Logical manifestations of topological concepts, and other things. This version adopts the univalent point of view.

Demo for using Threepenny GUI together with Electron to create a portable Desktop GUI Application in Haskell

Python backend exposing an API to control, configure and program CoderBot.

Launched in 2018. It's 2022 and PySimpleGUI is actively developed & supported. Create complex windows simply. Supports tkinter, Qt, WxPython, Remi (in browser). Create GUI applications trivially with a full set of widgets. Multi-Window applications are also simple. 3.4 to 3.11 supported. 325+ Demo programs & Cookbook for rapid start. Extensive d…