A more elegant specification for FRP
☆24Jan 8, 2024Updated 2 years ago
Alternatives and similar repositories for talk-2015-more-elegant-frp
Users that are interested in talk-2015-more-elegant-frp are comparing it to the libraries listed below
Sorting:
- Talk material for LambdaJam 2014/2015 on denotational design☆122Jan 8, 2024Updated 2 years ago
- Generalized Convolution and Efficient Language Recognition☆18Jul 20, 2019Updated 6 years ago
- Elm arch guide in OpticUI☆13Dec 3, 2015Updated 10 years ago
- learning cuda☆20Jun 27, 2016Updated 9 years ago
- A keynote talk for LambdaJam 2015 (July 15--16)☆416Jan 8, 2024Updated 2 years ago
- μKanren implementation in Haskell☆19Jul 3, 2014Updated 11 years ago
- Build servers in Hyper using Trout☆16Jul 2, 2020Updated 5 years ago
- Elm tutorial held at http://nfa.imn.htwk-leipzig.de/HAL2015/ and in university course http://www.janis-voigtlaender.eu/teaching/ffp15/☆11May 11, 2016Updated 9 years ago
- Explaining category theory by example☆10Jun 30, 2017Updated 8 years ago
- Type-level lenses using singletons because why not☆15Dec 19, 2018Updated 7 years ago
- Succinct binary serialization☆15Aug 26, 2018Updated 7 years ago
- ☆11Jun 11, 2016Updated 9 years ago
- Flexible generic codecs for purescript-argonaut☆16Jun 25, 2017Updated 8 years ago
- An untyped lambda calculus interpreter☆12Nov 25, 2023Updated 2 years ago
- Types for the least and greatest fixed points of functors.☆15Apr 27, 2022Updated 3 years ago
- Wrap up Haskell tools☆15May 14, 2021Updated 4 years ago
- A terminal UI for discourse☆13Jul 25, 2020Updated 5 years ago
- Servant client generators for the Python language☆17Mar 2, 2021Updated 5 years ago
- Fixed length vector for haskell☆21Feb 28, 2026Updated last week
- A drop-in replacement for Pux's React based renderer which needs no foreign dependencies.☆13Mar 30, 2018Updated 7 years ago
- Flexible session middleware for WAI☆15Nov 11, 2020Updated 5 years ago
- The hull.js browser library☆67Apr 15, 2023Updated 2 years ago
- Plucky Runtime IO☆16Dec 20, 2024Updated last year
- Simplify managing Haskell projects by generating files like README.md, .travis.yml, etc.☆12Aug 23, 2015Updated 10 years ago
- Quick scaffolding for Halogen's HTML DSL☆35Aug 28, 2021Updated 4 years ago
- [ABANDONED] An attempt to port the concur library to PureScript.☆20Feb 21, 2018Updated 8 years ago
- ☆14Jan 12, 2018Updated 8 years ago
- Company-mode completion back-end for haskell-cabal-mode☆14Sep 17, 2017Updated 8 years ago
- Yet another … yet another recursion scheme library for Haskell☆89Feb 12, 2026Updated 3 weeks ago
- Type level algebraic "proofs" using lens combinators☆19Jul 26, 2019Updated 6 years ago
- ☆10Jan 24, 2016Updated 10 years ago
- ☆89May 29, 2018Updated 7 years ago
- Companion code for "Why Dependent Types Matter" paper.☆60Jun 14, 2018Updated 7 years ago
- An example of writing an AWS Lambda function in Purescript☆36Oct 28, 2017Updated 8 years ago
- Transformerless monads for Puresript☆22Sep 26, 2018Updated 7 years ago
- Mechanizing Types and Programming Languages using Beluga☆21May 29, 2020Updated 5 years ago
- Relational programming for PureScript☆17Jan 5, 2017Updated 9 years ago
- Give Haskell development tools access to Cabal project environment.☆24Feb 14, 2021Updated 5 years ago
- Companion code to the talk "Finite Flights on an Infinite Plane" (http://www.meetup.com/santa-monica-haskell/events/227156054/)☆15May 12, 2025Updated 9 months ago