Alternatives and similar repositories for FROST-Frontend

Users that are interested in FROST-Frontend are comparing it to the libraries listed below

• purescript-contrib / purescript-these

  View on GitHub
  Data type isomorphic to α ∨ β ∨ (α ∧ β)
  ☆14Apr 27, 2022Updated 3 years ago
• parsonsmatt / ql-purs

  View on GitHub
  QuickLift frontend in PureScript
  ☆15Mar 25, 2016Updated 9 years ago
• ekmett / foreign-var

  View on GitHub
  Foreign variables, deprecated in favor of `StateVar`
  ☆11May 1, 2019Updated 6 years ago
• fredericaltorres / DynamicJavaScriptRunTimes.NET

  View on GitHub
  DynamicJavaScriptRunTimes.NET is a layer above, the Noesis JavaScript.NET run-time and the Jurassic JavaScript run-time that provide acce…
  ☆14Jul 16, 2011Updated 14 years ago
• bitonic / hakyll-agda

  View on GitHub
  Hakyll support for Agda literate files
  ☆19Jul 20, 2021Updated 4 years ago
• spacekitteh / haskell-clifford

  View on GitHub
  Clifford algebra for Haskell! :D
  ☆14Jul 1, 2014Updated 11 years ago
• EDeijl / CPHConsoleApp

  View on GitHub
  Cross Platform Haskell console application that should work on iOS and Android
  ☆39Oct 14, 2015Updated 10 years ago
• nebuta / d3js-haskell

  View on GitHub
  Haskell to D3.js binding by deep EDSL approach.
  ☆23Sep 20, 2014Updated 11 years ago
• purescript-deprecated / purescript-symbols

  View on GitHub
  ☆12Oct 3, 2020Updated 5 years ago
• puffnfresh / purescript-streams

  View on GitHub
  Compositional, streaming I/O library (unfinished)
  ☆13Sep 7, 2015Updated 10 years ago
• gendx / ocaml-algebra

  View on GitHub
  An algebra system written in OCaml
  ☆10Sep 20, 2015Updated 10 years ago
• paf31 / purescript-smash

  View on GitHub
  An "extensible coeffect" system built out of comonads and Day convolution.
  ☆36Aug 16, 2020Updated 5 years ago
• purescript / purescript-tuples

  View on GitHub
  Tuple data type and utility functions
  ☆26Sep 17, 2022Updated 3 years ago
• purescript / purescript-transformers

  View on GitHub
  Monad and comonad transformers
  ☆71Jul 10, 2024Updated last year
• kritzcreek / psc-ide

  View on GitHub
  DEPRECATED - Editor Support for the PureScript programming language
  ☆61Mar 5, 2016Updated 9 years ago
• purescript-contrib / purescript-bigints

  View on GitHub
  Arbitrary length integers for PureScript
  ☆26Mar 22, 2023Updated 2 years ago
• purescript-deprecated / purescript-lens

  View on GitHub
  PureScript implementation of lens
  ☆78Oct 3, 2020Updated 5 years ago
• domdere / fp-in-idris

  View on GitHub
  Functional Programing in Scala (in Idris) [Idris]
  ☆16Mar 23, 2015Updated 10 years ago
• xgrommx / react-rx-flux

  View on GitHub
  ☆13Oct 27, 2015Updated 10 years ago
• tel / saltine

  View on GitHub
  Cryptography that's easy to digest (NaCl/libsodium bindings)
  ☆63Feb 23, 2025Updated 11 months ago
• joom / chalk

  View on GitHub
  Simple terminal string styling in Haskell.
  ☆12Sep 14, 2016Updated 9 years ago
• passy / attic-schedule

  View on GitHub
  A Turtle script I use to kick off attic
  ☆11Feb 23, 2017Updated 8 years ago
• sof / greencard

  View on GitHub
  Green Card, a foreign function interface pre-processor for Haskell.
  ☆11Apr 14, 2015Updated 10 years ago
• mchav / GeoQuiz-Frege

  View on GitHub
  A Frege port of the GeoQuiz application from the Android BigNerd Ranch Book.
  ☆11Apr 25, 2017Updated 8 years ago
• ghcjs / ghcjs-vdom

  View on GitHub
  bindings for virtual-dom
  ☆34Jun 29, 2017Updated 8 years ago
• jdoughertyii / hott-species

  View on GitHub
  Combinatorial species in HoTT
  ☆12May 23, 2015Updated 10 years ago
• nbenton / coqdomains

  View on GitHub
  Domain theory and denotational semantics in Coq
  ☆10Dec 13, 2014Updated 11 years ago
• glguy / advent2015

  View on GitHub
  ☆12Dec 28, 2020Updated 5 years ago
• purescript / purescript-bifunctors

  View on GitHub
  Bifunctors and biapplicatives
  ☆12Apr 13, 2025Updated 10 months ago
• kowey / GenI

  View on GitHub
  Surface realiser (part of a Natural Language Generation system) using Tree Adjoining Grammar
  ☆21May 4, 2015Updated 10 years ago
• boegel / GA

  View on GitHub
  Haskell module for working with genetic algorithms
  ☆18Nov 10, 2011Updated 14 years ago
• runarorama / slides

  View on GitHub
  ☆13Sep 22, 2015Updated 10 years ago
• mchaver / servant-auth-and-elm-example

  View on GitHub
  ☆15Jan 26, 2018Updated 8 years ago
• AlexeyRaga / purescript-react-electron-example

  View on GitHub
  ☆51Oct 2, 2015Updated 10 years ago
• purescript-node / purescript-node-fs

  View on GitHub
  Node.js file I/O for purescript
  ☆34Jun 23, 2024Updated last year
• pbl64k / gpif-idris

  View on GitHub
  Translation of Agda code in A. Löh and J. P. Magalhães *Generic Programming with Indexed Functors* to Idris.
  ☆14Apr 5, 2017Updated 8 years ago
• paf31 / purescript-behaviors

  View on GitHub
  A simple push-pull FRP implementation
  ☆131Nov 9, 2020Updated 5 years ago
• cjdev2 / test-fixture

  View on GitHub
  Testing with monadic side-effects
  ☆33Jun 24, 2021Updated 4 years ago
• briancavalier / arrow

  View on GitHub
  Push-pull Signal Function FRP
  ☆16May 27, 2017Updated 8 years ago