komadori / HsQMLView external linksLinks
This is a mirror of the darcs repository at http://hub.darcs.net/komadori/HsQML
☆22Mar 28, 2018Updated 7 years ago
Alternatives and similar repositories for HsQML
Users that are interested in HsQML are comparing it to the libraries listed below
Sorting:
- Setting up an Idris dev environment on Windows☆16Dec 8, 2019Updated 6 years ago
- Utilities for using the Fay Haskell-to-JS compiler with Yesod.☆24Apr 30, 2019Updated 6 years ago
- A simple XML module for Idris.☆13May 22, 2020Updated 5 years ago
- Give Haskell development tools access to Cabal project environment.☆24Feb 14, 2021Updated 5 years ago
- Prevent or capture output to stdout or other handles in Haskell☆23Jan 5, 2026Updated last month
- Stand-alone command-line version of the pointful plugin for Lambdabot.☆26Mar 3, 2023Updated 2 years ago
- ☆24Jan 6, 2019Updated 7 years ago
- Haskell JSON library☆27Nov 4, 2024Updated last year
- A package exposing a function for generating catamorphisms.☆29Apr 15, 2018Updated 7 years ago
- being the programs and code for a paper about general recursion☆26Feb 15, 2015Updated 11 years ago
- Data.List.nub is O(n²). This one is O(n log n) by requiring an Ord instance.☆34Jul 20, 2020Updated 5 years ago
- A Plugin to use Idris with Sublime☆27Dec 30, 2020Updated 5 years ago
- ☆25Aug 10, 2016Updated 9 years ago
- android app example linked with haskell library using android NDK☆32Jul 22, 2016Updated 9 years ago
- Dynamic typing in Haskell☆190May 29, 2019Updated 6 years ago
- cfg files for YUMI products☆14Dec 22, 2025Updated last month
- Examples of polyvariadic functions in Haskell.☆34Sep 23, 2015Updated 10 years ago
- A modern C++ rewrite of the OpenDingux pwswd daemon☆10Sep 4, 2020Updated 5 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- An API that wraps around the Tor control port to create ad-hoc hidden services☆10Sep 22, 2019Updated 6 years ago
- Concurrent algorithms in Haskell using software transactional memory (STM monad)☆14Jan 5, 2023Updated 3 years ago
- Presentations on Liquid Haskell, type theory, and more☆45Oct 24, 2024Updated last year
- A Ruby library for working with Google's Cayley graph database.☆23Oct 19, 2014Updated 11 years ago
- Computes the Henry coefficient of methane in IRMOF-1☆10Oct 5, 2021Updated 4 years ago
- Soundboard with no limits☆11Nov 18, 2025Updated 2 months ago
- Concurrent and efficient implementation of statsd in Haskell☆19Feb 12, 2014Updated 12 years ago
- ☆10Jan 16, 2026Updated last month
- The idea hub for the Ledger-cli Rust port☆13Dec 22, 2022Updated 3 years ago
- GHCJS DOM Hello World, an example package☆10Apr 24, 2025Updated 9 months ago
- ☆10Oct 14, 2023Updated 2 years ago
- An HTTP Client in Haskell Based on Free Monads☆10Dec 31, 2015Updated 10 years ago
- Tokenizer for Text to Speech (TTS) models☆13Jan 16, 2025Updated last year
- some kind of operating system☆12Oct 10, 2025Updated 4 months ago
- PHP Composer interface for Emacs☆11Jan 13, 2026Updated last month
- ☆10Jun 6, 2015Updated 10 years ago
- Extensions for *scratch* buffer of Emacs☆13Jun 17, 2022Updated 3 years ago
- Expands type synonyms in Template Haskell ASTs☆11Jan 10, 2026Updated last month
- newLISP programming...☆10Sep 25, 2015Updated 10 years ago
- ☆14Apr 2, 2024Updated last year