mchaver / servant-auth-and-elm-exampleView external linksLinks
☆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
Sorting:
- My final year project at the University of Strathclyde☆13Jan 26, 2023Updated 3 years ago
- Contains exercises for the workshop in generic programming at Lambda World 2019☆10Oct 17, 2019Updated 6 years ago
- Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell☆48Mar 13, 2022Updated 3 years ago
- Simple FRP implementation for Haskell. See blog post at http://travis.athougies.net/☆14May 5, 2015Updated 10 years ago
- Syntactic evaluation of STLC (incl. proof of normalization a la Software Foundations)☆13Nov 19, 2017Updated 8 years ago
- A tiny implementation of dependent types.☆11Oct 24, 2017Updated 8 years ago
- Combinators for manipulating dependently-typed predicates.☆14Jul 5, 2024Updated last year
- Cursor data and manipulation☆22May 29, 2025Updated 8 months ago
- Talk on generic parallel scan☆14May 12, 2017Updated 8 years ago
- ☆17Oct 16, 2018Updated 7 years ago
- 🍜 Convert HTML markdown into miso View syntax☆14Nov 17, 2025Updated 2 months ago
- Deferring the Details and Deriving Programs☆14Aug 18, 2019Updated 6 years ago
- 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 6 years ago
- ☆19Aug 4, 2025Updated 6 months ago
- Classes for types where we know all the values☆39Jan 3, 2025Updated last year
- Examples of Eta in action.☆36Aug 19, 2018Updated 7 years ago
- Minimalistic single page example of Miso's isomorphic feature.☆92Sep 21, 2020Updated 5 years ago
- Symbol manipulation☆37Apr 17, 2023Updated 2 years ago
- A tiny compiler for a security-typed imperative language with a formalised proof of noninterference-preservation.☆16Dec 10, 2019Updated 6 years ago
- Elm architecture tutorial reworked in Haskell' Reflex library☆15Jun 17, 2015Updated 10 years ago
- ☆21Jan 1, 2023Updated 3 years ago
- Closable, fair, single-wakeup channel type that avoids 0 reader space leaks.☆21Mar 16, 2025Updated 10 months ago
- Overengineered attempt at implementing the RealWorld API spec in Haskell using Servant and Persistent☆16Aug 1, 2017Updated 8 years ago
- This repo contains materials relating to the monthly Chicago Rust Meetup https://www.meetup.com/Chicago-Rust-Meetup/☆18Sep 30, 2021Updated 4 years ago
- A self-contained implementation of forward and backward inference for intuitionistic propositional logic☆18Oct 10, 2017Updated 8 years ago
- My master thesis about generic programming and ornaments☆16Jul 5, 2016Updated 9 years ago
- ☆158Oct 29, 2021Updated 4 years ago
- Mechanization of Hazelnut, as submitted to POPL 2017☆16Nov 24, 2021Updated 4 years ago
- Co-inductive interaction trees provide a way to represent (potentially) non-terminating programs with I/O behavior.☆18Jul 9, 2018Updated 7 years ago
- A convenient DSL for describing web routes☆42Nov 21, 2020Updated 5 years ago
- GHCJS + Miso port of the Vue.js examples.☆19Nov 25, 2018Updated 7 years ago
- a version of the 2048 game for Coq☆22Jan 30, 2026Updated 2 weeks ago
- An example application using servant-elm.☆20May 23, 2018Updated 7 years ago
- A Model of Relationally Parametric System F in Coq☆22May 27, 2015Updated 10 years ago
- wherein I implement several substructural logics in Agda☆24Oct 8, 2018Updated 7 years ago
- Agda formalization of Intuitionistic Propositional Logic☆22Nov 14, 2025Updated 2 months ago
- A full-stack Haskell web application starter project.☆43Oct 29, 2017Updated 8 years ago
- Syntaxes with Binding, Their Programs, and Proofs☆23Oct 26, 2023Updated 2 years ago
- Manipulating numbers with inherent measurement/experimental uncertainty.☆25Sep 11, 2024Updated last year