Stars
41
Forks
2
Language
Agda
Last Updated
Feb 12, 2024
Similar Repos
Repo | Language | Stars | Description | Updated At |
---|---|---|---|---|
Rust | 2 | Functional Reactive Programming - Rust | Jun 21, 2022 | |
Ruby | 8 | Functional Reactive Programming + Shoes | Jan 22, 2021 | |
Python | 2 | Python implementation of Sodium - Functional Reactive Programming (FRP) Library | Mar 31, 2023 | |
Julia | 5 | Basic Reactive Functional Programming (RFP) | Apr 16, 2020 | |
JavaScript | 228 | functional reactive programming for JavaScript | Apr 22, 2023 | |
Ruby | 353 | Functional Reactive Programming in Ruby. | Dec 14, 2022 | |
Go | 49 | Functional Reactive Programming in Go | Apr 14, 2023 | |
Haskell | 2 | An Functional Reactive Programming framework | Jan 21, 2022 | |
JavaScript | 3 | JavaScript functional reactive MIDI Programming | Jan 25, 2023 | |
TypeScript | 114 | Typescript/Javascript implementation of Sodium FRP (Functional Reactive Programming) library | Jun 30, 2022 | |
Rust | 47 | Functional Reactive Programming library for Rust | Dec 19, 2022 | |
Scala | 30 | A pure Functional Reactive Programming implementation using a discrete time model | Oct 27, 2019 | |
Haskell | 6 | Haskell functional reactive programming (FRP) standardization effort | Sep 01, 2020 | |
TypeScript | 7 | Functional Reactive Programming challenges solved using RxJS | Aug 03, 2022 | |
Julia | 134 | Functional reactive programming extensions library for Julia | Nov 26, 2022 | |
JavaScript | 2 | FRP (functional reactive programming) library for Javascript | Jul 18, 2022 | |
C++ | 61 | Static functional reactive programming in C++14 | Jul 26, 2022 | |
Haskell | 55 | Universal Live Coding & Functional Reactive Programming Framework | Mar 25, 2023 | |
GDScript | 2 | Proof of concept Godot Functional Reactive Programming | Jan 28, 2023 | |
Scala | 13 | A Functional Reactive Programming framework for Scala | Jan 27, 2023 | |
CoffeeScript | 3 | Functional Reactive Programming Meeting for Amigo Beijing | Aug 15, 2017 | |
TypeScript | 6 | a compact, yet powerful programming language for functional-reactive programming | Mar 04, 2023 | |
Julia | 2 | Concept implementation of data acquisition system in Julia using asynchronous functional reactive programming. | Jun 02, 2022 | |
TypeScript | 6422 | Functional reactive programming library for TypeScript and JavaScript | Oct 04, 2022 | |
C# | 2 | Functional Reactive Programming for .NET and XAML/WPF | Oct 19, 2022 | |
TypeScript | 32 | Asynchronous programming library using coroutines and functional reactive programming for JavaScript. | Nov 18, 2022 | |
Swift | 349 | Select the right architecture and functional reactive programming framework | Feb 11, 2022 | |
Scala | 983 | An experimental library for Functional Reactive Programming in Scala | Aug 01, 2022 | |
Agda | 97 | ECMAScript back end for Functional Reactive Programming in Agda | Aug 08, 2022 | |
Haskell | 87 | Haskell Functional Reactive Programming framework with type-level clocks | Apr 18, 2023 | |
OCaml | 47 | Functional reactive programming with incremental changes in data structures | Feb 25, 2023 | |
C++ | 3 | Yet another C++ library for functional reactive style programming | Dec 28, 2016 | |
Python | 4 | Minimal functional reactive programming tool empowered by async python | Jul 28, 2022 | |
Haxe | 143 | A promise and functional reactive programming library for Haxe | May 10, 2022 | |
Java | 9 | Event support for GWT, inspired by functional reactive programming | Jan 28, 2023 | |
JavaScript | 11 | Micro Functional Reactive Programming (FRP) Framework with Monad structure | Jan 27, 2023 | |
Haskell | 2 | Implementation of functional programming languages | Apr 01, 2019 | |
JavaScript | 48 | A Nodeschool type workshop for Functional Reactive Programming and Bacon.js | May 12, 2021 | |
ActionScript | 32 | A signals/slots and functional reactive programming library for ActionScript | May 31, 2022 | |
Dart | 37 | Extension to ValueNotifier by transparently applying functional reactive programming (TFRP) | Apr 27, 2023 | |
Haskell | 50 | FRP (functional reactive programming) framework inspired by RX and Iteratee | May 23, 2021 | |
JavaScript | 2 | Functional Reactive library for Node.js. Created as companion for the book Reactive Programming with Node.js | Feb 03, 2021 | |
Agda | 4 | A statically typed dimensional analysis calculator written in Agda. | Apr 12, 2020 | |
Agda | 4 | Formalization of Regular Languages in Agda: regular expressions, finite-state automata, proof of equivalence, proof of … | Aug 03, 2022 | |
Agda | 4 | None | Aug 02, 2019 | |
Agda | 4 | Agda proofs of the HoTT book exercises | Dec 27, 2018 | |
Agda | 4 | None | Oct 15, 2020 | |
Agda | 4 | A monadic translation of Gödel's System T in the spirit of Gentzen's negative translation | Apr 01, 2021 | |
Agda | 4 | None | Jan 15, 2022 | |
Agda | 4 | mechanization for livelits paper, https://github.com/hazelgrove/livelits-paper | Dec 19, 2021 |