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
- Poor Richard's Memory Manager☆15Apr 13, 2021Updated 4 years ago
- Give Haskell development tools access to Cabal project environment.☆24Feb 14, 2021Updated 5 years ago
- Gtk-based screen capturing utility for XMonad.☆25Apr 9, 2025Updated 11 months ago
- Prevent or capture output to stdout or other handles in Haskell☆23Jan 5, 2026Updated 2 months ago
- ☆24Jan 6, 2019Updated 7 years ago
- Stand-alone command-line version of the pointful plugin for Lambdabot.☆26Mar 3, 2023Updated 3 years ago
- Haskell JSON library☆27Nov 4, 2024Updated last year
- 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
- android app example linked with haskell library using android NDK☆32Jul 22, 2016Updated 9 years ago
- A Plugin to use Idris with Sublime☆27Dec 30, 2020Updated 5 years ago
- ☆25Aug 10, 2016Updated 9 years ago
- Work with musical concepts☆32Dec 11, 2022Updated 3 years ago
- Dynamic typing in Haskell☆190May 29, 2019Updated 6 years ago
- cfg files for YUMI products☆14Mar 1, 2026Updated last week
- Examples of polyvariadic functions in Haskell.☆34Sep 23, 2015Updated 10 years ago
- Addon for Blender to import and work with molecules and other atomic structures☆10Jun 27, 2019Updated 6 years ago
- An API that wraps around the Tor control port to create ad-hoc hidden services☆10Sep 22, 2019Updated 6 years ago
- ☆15Sep 19, 2021Updated 4 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 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
- Tokenizer for Text to Speech (TTS) models☆13Jan 16, 2025Updated last year
- Xlink is a Python script that uses Gromacs to automatically perfom simulation crosslinking and generate atomistic model of aromatic polya…☆16Jul 8, 2023Updated 2 years ago
- A frontend boilerplate (for me) with Elm, TypeScript and webpack☆10Jun 10, 2020Updated 5 years ago
- A tiny Emacs library for quick manipulation of textual checkboxes☆12Apr 5, 2015Updated 10 years ago
- The BASIC-BINARY-IPC system provides an interface for performing inter process communication using IPv4 or local streams. The interface f…☆21Nov 7, 2021Updated 4 years ago
- M#! Distributed shell pipelines with GNU Guile.☆14Dec 28, 2020Updated 5 years ago
- 50 or 100 W HF + 6M Power Amplifier with ATU for Odyssey-2 or other SDR☆13Feb 17, 2021Updated 5 years ago
- Robust persistence for typed immutable data☆16Nov 5, 2016Updated 9 years ago
- A uniform collection of API bindings for various cryptocurrency exchanges☆13Mar 14, 2018Updated 7 years ago
- Expands type synonyms in Template Haskell ASTs☆11Jan 10, 2026Updated last month
- ⚔️ M-x kill-all-the-thing ☠️☆10Oct 16, 2017Updated 8 years ago
- Python interface to Loupedeck Live☆13May 19, 2025Updated 9 months ago
- A http client for Idris based on libcurl☆10Mar 18, 2016Updated 9 years ago
- Simple HTTP redirector for tmpnb nodes☆12Sep 20, 2017Updated 8 years ago
- salon for sharing thoughts and ideas☆12Nov 11, 2021Updated 4 years ago
- time tracker in haskell☆10Jul 21, 2015Updated 10 years ago