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 2 months ago
- Exemplary fullstack Medium.com clone powered by Servant and Beam☆33Aug 4, 2019Updated 6 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- 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☆20Dec 18, 2018Updated 7 years ago
- Snap port of servant-server (WIP)☆28Aug 26, 2022Updated 3 years ago
- Utilities for making your applications more debuggable.☆16Dec 4, 2024Updated last year
- An IDE for ACL2☆21Aug 24, 2020Updated 5 years ago
- Union mount in Haskell, with fsnotify☆12Dec 23, 2025Updated 3 months ago
- Elisp(Emacs Lisp) backend for PureScript☆12Feb 8, 2022Updated 4 years ago
- a monadic graph library☆39Mar 3, 2025Updated last year
- Deploy open-source AI quickly and easily - Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- 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 7 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 3 years ago
- My personal site.☆10Updated this week
- ☆13Dec 15, 2025Updated 4 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 8 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 5 years ago
- Template for cross-platform mobile app with native UIs and C++ core☆17Dec 3, 2021Updated 4 years ago
- ☆12Jan 2, 2026Updated 3 months ago
- A Fucking Fast Slack Data Model☆10Apr 16, 2017Updated 9 years ago
- ☆35Sep 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
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 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
- salt state definitions for installing logstash, elasticsearch and kibana☆36Aug 6, 2013Updated 12 years ago
- Linux Foundation Certified Engineer (LFCE) learning materials☆12Mar 6, 2022Updated 4 years ago
- ☆19Apr 10, 2026Updated last 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…☆25Feb 17, 2025Updated last year