A guided workshop through implementing the realworld demo app in obelisk.
☆14Mar 25, 2020Updated 6 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆36Oct 13, 2021Updated 4 years ago
- ☆22Aug 30, 2023Updated 2 years ago
- A minimal host for sdl2 based reflex apps.☆29Aug 21, 2024Updated last year
- ☆12Feb 9, 2026Updated 4 months ago
- Exemplary fullstack Medium.com clone powered by Servant and Beam☆33Aug 4, 2019Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Spacemacs layer for using a nix friendly haskell-ide-engine lsp☆16Feb 28, 2019Updated 7 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
- Explore haskell and functional programming concepts☆21Dec 18, 2018Updated 7 years ago
- Snap port of servant-server (WIP)☆28Aug 26, 2022Updated 3 years ago
- Utilities for making your applications more debuggable.☆16Jun 4, 2026Updated 2 weeks ago
- An IDE for ACL2☆21Aug 24, 2020Updated 5 years ago
- Union mount in Haskell, with fsnotify☆12May 11, 2026Updated last month
- Elisp(Emacs Lisp) backend for PureScript☆12Feb 8, 2022Updated 4 years ago
- a monadic graph library☆39Mar 3, 2025Updated last year
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Gizmo is a simple page model testing framework which aims to DRY up testing assertions by abstracting code that defines your page.☆42May 24, 2018Updated 8 years ago
- Framework for writing fully native apps using Reflex, a Functional Reactive Programming library for Haskell.☆43Nov 11, 2018Updated 7 years ago
- ☆11May 3, 2022Updated 4 years ago
- My personal site.☆10Jun 10, 2026Updated last week
- ☆13Dec 15, 2025Updated 6 months ago
- Dependent sums and supporting typeclasses for comparing and displaying them☆56Nov 20, 2023Updated 2 years ago
- Code to accompany Astro articles.☆16Aug 12, 2025Updated 10 months ago
- Utilities for creating and transforming push-based subscriptions.☆14Oct 6, 2024Updated last year
- Argonaut codecs for aeson generic encoding☆12Dec 24, 2022Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- COVID-19 data modelling project☆13Apr 24, 2020Updated 6 years ago
- Template for cross-platform mobile app with native UIs and C++ core☆17Dec 3, 2021Updated 4 years ago
- ☆12Jan 2, 2026Updated 5 months ago
- A Fucking Fast Slack Data Model☆10Apr 16, 2017Updated 9 years ago
- ☆36Sep 19, 2013Updated 12 years ago
- Extensible exceptions for servant☆23Jan 25, 2021Updated 5 years ago
- ☆12Jan 5, 2015Updated 11 years ago
- The PureScript Domain offers free vanity URLs for PureScript libraries and community resources.☆13Aug 14, 2024Updated last year
- First class patterns and pattern matching, using type families☆18Nov 6, 2020Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- This might one day be a thesis project☆11Dec 21, 2022Updated 3 years ago
- Coq implementation of SF-calculus and the tranlsation to it of lift lambda-calculus☆11Mar 31, 2017Updated 9 years ago
- Linux Foundation Certified Engineer (LFCE) learning materials☆12Mar 6, 2022Updated 4 years ago
- salt state definitions for installing logstash, elasticsearch and kibana☆36Aug 6, 2013Updated 12 years ago
- ☆20Updated this week
- Haskell library that uses HIBP to evaluate passwords☆12Jan 25, 2025Updated last year
- Example of backend API written with effect that connects to a SQL database (included local Docker configuration with postgres and PgAdmin…☆26Feb 17, 2025Updated last year