|
Scala |
7 |
Denotational semantics for the masses |
Jan 27, 2023 |
|
Haskell |
2 |
Reflex FRP Playground |
Jul 23, 2022 |
|
Haskell |
3 |
Mind Mapping using Reflex FRP |
Dec 24, 2019 |
|
CSS |
5 |
Building a calculator with Reflex-FRP |
May 21, 2022 |
|
Agda |
13 |
Denotational semantics based on graph and filter models |
Jul 17, 2022 |
|
Haskell |
123 |
Build terminal applications using functional reactive programming (FRP) with Reflex FRP. |
Jun 21, 2022 |
|
Haskell |
3 |
Reflex-FRP api to count my working days |
May 28, 2020 |
|
Haskell |
19 |
A simple to use interface for websocket using reflex-frp |
Mar 18, 2021 |
|
TeX |
66 |
Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University |
Aug 13, 2022 |
|
Coq |
33 |
A survey of semantics styles in Coq, from natural semantics through structural operational, axiomatic, and … |
Mar 16, 2023 |
|
Haskell |
8 |
Run and interact with system processes from within a Reflex FRP application. |
Oct 05, 2021 |
|
Haskell |
6 |
Reflex FRP interface for the `bricki` shallow fork of the `brick` commandline UI library |
Aug 31, 2021 |
|
Haskell |
2 |
Use Hedgehog (like QuickCheck) to simplify types (and life) when using reflex-frp |
Dec 24, 2019 |
|
Haskell |
8 |
A not yet recommended for public use taskwarrior frontend build with Haskell and reflex-frp |
Jan 28, 2023 |
|
None |
3 |
Subscribe to this repo to be notified of announcements and changes in Reflex FRP |
Jun 28, 2021 |
|
Haskell |
75 |
See Reflex FRP in action with tinker-friendly code samples you can run yourself. |
Aug 25, 2022 |
|
Haskell |
9 |
Prototype of the system described in "Trace Types and Denotational Semantics for Sound Programmable Inference … |
Oct 18, 2022 |
|
Agda |
2 |
Denotational Zero Knowledge Proofs |
May 12, 2022 |
|
Haskell |
34 |
Run GHCi from within a Reflex FRP application and interact with it using a functional … |
Aug 09, 2022 |
|
Haskell |
3 |
IndexedDB support for Reflex |
Feb 25, 2020 |
|
Python |
7 |
Reflex SOAR |
Jul 14, 2022 |
|
Haskell |
2 |
monomorphised reflex |
Feb 29, 2020 |
|
None |
17 |
frp for mobile |
May 17, 2023 |
|
Python |
4 |
Operator for using frp(https://github.com/fatedier/frp) in k8s |
May 24, 2023 |
|
Haskell |
9 |
HTML DSL for reflex-dom |
Nov 10, 2019 |
|
HTML |
27 |
web design for reflex-frp.org |
Aug 25, 2022 |
|
Haskell |
4 |
Design system for Reflex Dom |
Jan 28, 2023 |
|
Haskell |
9 |
Reflex with Backpack |
Jun 26, 2022 |
|
ASP |
8 |
frp server for merlin |
Dec 18, 2021 |
|
Rust |
2 |
FRP extensions for Gtk |
Apr 05, 2022 |
|
JavaScript |
2 |
NodeJS bindings for FRP |
Mar 25, 2022 |
|
Haskell |
4 |
FRP interface for shine |
Oct 04, 2020 |
|
Dockerfile |
30 |
Dockerfile for fatedier/frp |
May 13, 2023 |
|
JavaScript |
4 |
FRP demo |
Jun 14, 2021 |
|
Haskell |
2 |
A denotational semantic based interpreter for the REC programming language |
Feb 21, 2023 |
|
CSS |
6 |
[DEPRECATED] Theme Reflex for Lock v9 |
Dec 14, 2021 |
|
Haskell |
12 |
Reflex wrapper for the ACE editor |
Dec 11, 2019 |
|
Lua |
3 |
my scripts for the reflex ui |
Feb 14, 2023 |
|
Coq |
16 |
Semantics for Cryptol |
Mar 30, 2022 |
|
OCaml |
77 |
Semantics for ES5 |
Apr 22, 2023 |
|
None |
93 |
Day 9 of Advent of Haskell - Denotational Design |
Aug 11, 2022 |
|
C# |
2 |
Reflex development & placing blocks |
May 11, 2022 |
|
Haskell |
2 |
Haskell Reflex mine sweeper |
Nov 21, 2020 |
|
Haskell |
2 |
toy reflex-dom chatroom |
Aug 10, 2023 |
|
JavaScript |
2 |
Reflex Game with JavaScript |
Jun 11, 2023 |
|
JavaScript |
2 |
Simple FRP syntax for JavaScript |
Nov 10, 2019 |
|
Shell |
28 |
a docker wrap for frp |
Dec 13, 2022 |
|
Haskell |
2 |
Elerea FRP wrapper for SDL |
Mar 09, 2017 |
|
Haskell |
5 |
Fork of the brick library with internals exposed. See the https://github.com/lspitzner/bricki-reflex and https://github.com/lspitzner/bricki-banana repos for … |
Dec 22, 2018 |
|
Kotlin |
44 |
A frp client for Android. 一个Android的frp客户端 |
Apr 13, 2023 |