☆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 6 years ago
- Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell☆49Mar 13, 2022Updated 4 years ago
- My final year project at the University of Strathclyde☆14Jan 26, 2023Updated 3 years ago
- 🍜 Convert HTML markdown into miso View syntax☆14Nov 17, 2025Updated 4 months ago
- A tiny implementation of dependent types.☆11Oct 24, 2017Updated 8 years ago
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- Combinators for manipulating dependently-typed predicates.☆14Jul 5, 2024Updated last year
- ☆17Oct 16, 2018Updated 7 years ago
- Syntactic evaluation of STLC (incl. proof of normalization a la Software Foundations)☆13Nov 19, 2017Updated 8 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
- GHCJS + Miso port of the Vue.js examples.☆19Nov 25, 2018Updated 7 years ago
- Classes for types where we know all the values☆39Jan 3, 2025Updated last year
- A tiny compiler for a security-typed imperative language with a formalised proof of noninterference-preservation.☆16Dec 10, 2019Updated 6 years ago
- ☆19Aug 4, 2025Updated 7 months ago
- A mruby sandbox for ruby☆12Nov 9, 2017Updated 8 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.
- A convenient DSL for describing web routes☆42Nov 21, 2020Updated 5 years ago
- Minimalistic single page example of Miso's isomorphic feature.☆92Sep 21, 2020Updated 5 years ago
- An example application using servant-elm.☆20May 23, 2018Updated 7 years ago
- Deferring the Details and Deriving Programs☆14Aug 18, 2019Updated 6 years ago
- Cursor data and manipulation☆22May 29, 2025Updated 9 months ago
- ☆21Jan 1, 2023Updated 3 years ago
- DiffusionKinetics open-source monorepo☆116Jan 10, 2023Updated 3 years ago
- Talk on generic parallel scan☆14May 12, 2017Updated 8 years ago
- Examples of Eta in action.☆36Aug 19, 2018Updated 7 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A Model of Relationally Parametric System F in Coq☆22May 27, 2015Updated 10 years ago
- A self-contained implementation of forward and backward inference for intuitionistic propositional logic☆18Oct 10, 2017Updated 8 years ago
- ☆158Oct 29, 2021Updated 4 years ago
- My master thesis about generic programming and ornaments☆16Jul 5, 2016Updated 9 years ago
- Symbol manipulation☆37Apr 17, 2023Updated 2 years ago
- Simple FRP implementation for Haskell. See blog post at http://travis.athougies.net/☆14May 5, 2015Updated 10 years ago
- Manipulating numbers with inherent measurement/experimental uncertainty.☆25Sep 11, 2024Updated last year
- Annotated Heist templating examples in a Snap app☆21Dec 10, 2013Updated 12 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
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- Mechanization of Hazelnut, as submitted to POPL 2017☆16Nov 24, 2021Updated 4 years ago
- This is a Haskell binding to Geos, the open-source geometry library☆13Sep 5, 2021Updated 4 years ago
- Closable, fair, single-wakeup channel type that avoids 0 reader space leaks.☆21Mar 16, 2025Updated last year
- Weighted Regular Expressions, an experiment in porting an academic Haskell library to Rust☆20Mar 17, 2020Updated 6 years ago
- Elm architecture tutorial reworked in Haskell' Reflex library☆15Jun 17, 2015Updated 10 years ago
- Agda formalization of Intuitionistic Propositional Logic☆22Nov 14, 2025Updated 4 months ago
- Minimalistic Markdown viewer/converter with built-in Css stylesheets support.☆26Jun 7, 2017Updated 8 years ago