FlashCard open source website https://izidict.com
☆29Jan 9, 2019Updated 7 years ago
Alternatives and similar repositories for FlashCard
Users that are interested in FlashCard are comparing it to the libraries listed below
Sorting:
- ☆10Sep 26, 2017Updated 8 years ago
- LocalStorage task adapter for Elm☆11Mar 19, 2016Updated 9 years ago
- Cursor data and manipulation☆22May 29, 2025Updated 9 months ago
- Run cabal inside nix-shell☆14Jul 26, 2019Updated 6 years ago
- Liquid Haskell: How to turn Haskell into a Theorem Prover☆13Dec 6, 2016Updated 9 years ago
- ☆30Mar 22, 2018Updated 7 years ago
- Library to support efficient compilation of large records (linear in the number of record fields)☆51Nov 18, 2025Updated 3 months ago
- ☆25Jun 10, 2023Updated 2 years ago
- A template to get started with servant, postgresql-simple and cookie authentication☆18Feb 18, 2019Updated 7 years ago
- My Github pages website☆77Dec 19, 2025Updated 2 months ago
- the dynabook but for haskell☆23Sep 23, 2019Updated 6 years ago
- Haskell library of algebraic topology☆26Sep 23, 2011Updated 14 years ago
- An example application using servant-elm.☆20May 23, 2018Updated 7 years ago
- MOVED TO https://github.com/nixos-asia/website and https://github.com/flake-parts/community.flake.parts☆18Nov 27, 2023Updated 2 years ago
- 2048 in Idris☆124Nov 28, 2017Updated 8 years ago
- The HaTeX User's Guide☆21May 17, 2021Updated 4 years ago
- Snakes game demo.☆15Feb 14, 2017Updated 9 years ago
- An example application for sdl2.☆25Feb 19, 2022Updated 4 years ago
- Generate Elm type definitions and json encoders/decoders from Haskell types.☆27Jul 23, 2025Updated 7 months ago
- Easy and powerful typeful logging without monad towers, in Haskell.☆26May 7, 2024Updated last year
- Lazy rose tree (multiway tree) with zipper. In Elm☆28Updated this week
- Generate a command line client from a servant API☆28Jan 12, 2024Updated 2 years ago
- concise json parsing in Haskell using lenses☆20Oct 2, 2017Updated 8 years ago
- Translate servant API to purescript code, with the help of purescript-bridge.☆106Nov 21, 2022Updated 3 years ago
- Source code for haskle.net☆30Aug 30, 2023Updated 2 years ago
- Haskell binding to inotify☆33Mar 24, 2025Updated 11 months ago
- Course for learning how to apply property-based state-machine testing☆62Sep 13, 2019Updated 6 years ago
- Automatically derive Elm functions to query servant webservices☆166Jan 14, 2024Updated 2 years ago
- An application that lets you search for anything on Hackage☆25Dec 19, 2025Updated 2 months ago
- Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)☆69Sep 1, 2025Updated 6 months ago
- ☆29Oct 23, 2019Updated 6 years ago
- ⏳ my math blog☆30Jan 2, 2026Updated last month
- Job descriptions for hiring☆27Oct 5, 2023Updated 2 years ago
- Neural networks using parametric prelenses and Trimbara modules☆36Mar 10, 2024Updated last year
- Get all your structure and rip it apart.☆33Oct 21, 2018Updated 7 years ago
- Stunts 4D Driving with 8086 CPU and DOS emulation in Haskell☆32Jun 17, 2019Updated 6 years ago
- Simple editor for creating graphs implemented purely in Elm.☆35Jul 31, 2022Updated 3 years ago
- A non-interactive proof assistant using the Haskell type system☆38Apr 11, 2020Updated 5 years ago
- ☆41Feb 17, 2020Updated 6 years ago