☆15Jan 26, 2018Updated 8 years ago
Alternatives and similar repositories for servant-auth-and-elm-example
Users that are interested in servant-auth-and-elm-example are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Contains exercises for the workshop in generic programming at Lambda World 2019☆10Oct 17, 2019Updated 7 years ago
- Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell☆49Mar 13, 2022Updated 4 years ago
- A convenient DSL for describing web routes☆42Nov 21, 2020Updated 5 years ago
- 🍜 Convert HTML markdown into miso View syntax☆14Updated this week
- A tiny implementation of dependent types.☆11Oct 24, 2017Updated 9 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.
- Minimalistic and an easy to use template for a miso project configured to be able to be compiled with both ghc and ghcjs☆12Oct 2, 2019Updated 7 years ago
- Combinators for manipulating dependently-typed predicates.☆13Jul 5, 2024Updated 2 years ago
- Normalization by Evaluation for STLC with sums (no proof of correctness, shame! shame! shame!)☆12Nov 22, 2019Updated 6 years ago
- A Haskell package for updatable discrete distributions☆12Jan 4, 2021Updated 5 years ago
- Syntactic evaluation of STLC (incl. proof of normalization a la Software Foundations)☆14Nov 19, 2017Updated 8 years ago
- GHCJS + Miso port of the Vue.js examples.☆19Nov 25, 2018Updated 7 years ago
- Haskell bindings to the pHash perceptual hashing library☆10Mar 23, 2017Updated 9 years ago
- ☆17Oct 16, 2018Updated 8 years ago
- Haskell bindings to glpk☆13Jun 10, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- My final year project at the University of Strathclyde☆14Jan 26, 2023Updated 3 years ago
- An example application using servant-elm.☆20May 23, 2018Updated 8 years ago
- A mruby sandbox for ruby☆12Nov 9, 2017Updated 8 years ago
- Classes for types where we know all the values☆39May 11, 2026Updated 5 months ago
- A tiny compiler for a security-typed imperative language with a formalised proof of noninterference-preservation.☆17Dec 10, 2019Updated 6 years ago
- Example project which shows how to do HTTP Requests in Elm☆10Jan 31, 2016Updated 10 years ago
- Play fast and loose with IEEE-754 rewrite RULES☆25Aug 1, 2015Updated 11 years ago
- Minimalistic single page example of Miso's isomorphic feature.☆92Sep 21, 2020Updated 6 years ago
- Deferring the Details and Deriving Programs☆14Aug 18, 2019Updated 7 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.
- DiffusionKinetics open-source monorepo☆117Jan 10, 2023Updated 3 years ago
- ☆21Mar 21, 2022Updated 4 years ago
- ☆20May 4, 2026Updated 6 months ago
- Mechanization of Hazelnut, as submitted to POPL 2017☆16Nov 24, 2021Updated 4 years ago
- Surgery for generic data types☆26Jan 25, 2021Updated 5 years ago
- My master thesis about generic programming and ornaments☆16Jul 5, 2016Updated 10 years ago
- This is a Haskell binding to Geos, the open-source geometry library☆13Sep 5, 2021Updated 5 years ago
- Build AWS Lambda's with Haskell☆11Oct 26, 2022Updated 4 years ago
- A set of make rules to produce docker images for esy projects☆14Apr 5, 2019Updated 7 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Examples of Eta in action.☆36Aug 19, 2018Updated 8 years ago
- Co-inductive interaction trees provide a way to represent (potentially) non-terminating programs with I/O behavior.☆19Jul 9, 2018Updated 8 years ago
- LaTeX style file to typeset functional languages like Haskell☆26Mar 25, 2013Updated 13 years ago
- Talk on generic parallel scan☆14May 12, 2017Updated 9 years ago
- ☆21May 16, 2024Updated 2 years ago
- ☆158Oct 29, 2021Updated 5 years ago
- ☆21Jan 1, 2023Updated 3 years ago