A guided workshop through implementing the realworld demo app in obelisk.
☆14Mar 25, 2020Updated 5 years ago
Alternatives and similar repositories for reflex-realworld-workshop
Users that are interested in reflex-realworld-workshop are comparing it to the libraries listed below
Sorting:
- ☆36Oct 13, 2021Updated 4 years ago
- ☆21Aug 30, 2023Updated 2 years ago
- A minimal host for sdl2 based reflex apps.☆28Aug 21, 2024Updated last year
- ☆12Feb 9, 2026Updated last month
- Exemplary fullstack Medium.com clone powered by Servant and Beam☆33Aug 4, 2019Updated 6 years ago
- Spacemacs layer for using a nix friendly haskell-ide-engine lsp☆16Feb 28, 2019Updated 7 years ago
- Explore haskell and functional programming concepts☆20Dec 18, 2018Updated 7 years ago
- Snap port of servant-server (WIP)☆28Aug 26, 2022Updated 3 years ago
- My personal site.☆10Mar 1, 2026Updated last week
- Framework for writing fully native apps using Reflex, a Functional Reactive Programming library for Haskell.☆43Nov 11, 2018Updated 7 years ago
- ☆11Feb 18, 2019Updated 7 years ago
- Dependent sums and supporting typeclasses for comparing and displaying them☆56Nov 20, 2023Updated 2 years ago
- Linux Foundation Certified Engineer (LFCE) learning materials☆12Mar 6, 2022Updated 4 years ago
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆11Jul 15, 2024Updated last year
- A Datalog execution engine for Scala☆15Sep 1, 2025Updated 6 months ago
- salt state definitions for installing logstash, elasticsearch and kibana☆36Aug 6, 2013Updated 12 years ago
- An sbt plugin to create annotations for the Github UI when sbt is run in Github Actions☆12Oct 10, 2025Updated 4 months ago
- Haskell library that uses HIBP to evaluate passwords☆12Jan 25, 2025Updated last year
- Coq implementation of SF-calculus and the tranlsation to it of lift lambda-calculus☆11Mar 31, 2017Updated 8 years ago
- Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feat…☆13Jun 13, 2020Updated 5 years ago
- transform literate source code to Markdown☆14Dec 19, 2025Updated 2 months ago
- Utilities for creating and transforming push-based subscriptions.☆14Oct 6, 2024Updated last year
- Small example of a Nix-built servant-server with a reflex-dom client.☆12Feb 5, 2018Updated 8 years ago
- Union mount in Haskell, with fsnotify☆12Dec 23, 2025Updated 2 months ago
- ☆12Jan 5, 2015Updated 11 years ago
- ☆12Jan 2, 2026Updated 2 months ago
- Repository accompanying the ZuriHac Advanced Track lecture on Datatype-Generic Programming☆44Aug 1, 2020Updated 5 years ago
- Idris 2 static web blog generator. More like proof of concept, everything could change, not sure if I will put more time into that but ge…☆11Oct 28, 2024Updated last year
- Work with WAVE and RF64 files in Haskell☆11Feb 16, 2026Updated 3 weeks ago
- Ruby interface to the id3lib C++ library for easily editing ID3 tags of MP3 audio files☆41Mar 22, 2012Updated 13 years ago
- GHCJS widgets for reflex-dom and material bootstrap☆10Jan 11, 2018Updated 8 years ago
- Effectful Streaming for Idris☆15Dec 13, 2020Updated 5 years ago
- Generate rust command line executables from gRPC protobuf services.☆11Aug 27, 2022Updated 3 years ago
- Logic puzzle game based on the lambda calculus☆20Nov 9, 2012Updated 13 years ago
- Port of the 'host' example in try-reflex to FLTKHS.☆12Aug 26, 2017Updated 8 years ago
- A Fucking Fast Slack Data Model☆10Apr 16, 2017Updated 8 years ago
- Site☆19May 16, 2021Updated 4 years ago
- Nested client-side routing for Reflex-DOM☆11Jun 7, 2022Updated 3 years ago
- Functor-parametric containers☆20Jan 19, 2025Updated last year