☆24Jun 2, 2015Updated 10 years ago
Alternatives and similar repositories for archlinux
Users that are interested in archlinux are comparing it to the libraries listed below
Sorting:
- ☆16Jul 13, 2014Updated 11 years ago
- Arch Haskell ABS tree☆79Aug 28, 2017Updated 8 years ago
- Clifford algebra for Haskell! :D☆14Jul 1, 2014Updated 11 years ago
- A type theory based theorem proving library☆25Aug 23, 2011Updated 14 years ago
- Support code for talk 'XXIst century shall be typed or not be'☆15Oct 21, 2022Updated 3 years ago
- Programming with LVars, by example☆36Jul 20, 2015Updated 10 years ago
- Simple testing toolkit☆10May 28, 2021Updated 4 years ago
- Haskell to D3.js binding by deep EDSL approach.☆23Sep 20, 2014Updated 11 years ago
- GHC-WPC is an extended GHC that exports the STG and other IR (.modpak) for the compiled modules and linker metadata (.ghc_stgapp) at appl…☆10Feb 14, 2024Updated 2 years ago
- A collection of techniques used in Haskell that are worth remembering.☆17Aug 30, 2010Updated 15 years ago
- Salvia - Modular Haskell HTTP server.☆24Sep 4, 2010Updated 15 years ago
- Pure Haskell client for the Mandrill JSON API☆17Mar 11, 2025Updated 11 months ago
- Manage CloudFormation Stacks through specifications☆13Dec 15, 2025Updated 2 months ago
- A MIDI message routing tool written in Haskell. This program was written to benchmark the performance of MIDI message handling in Euterpe…☆15Feb 15, 2021Updated 5 years ago
- A GHC source plugin which detects opportunities to use coerce☆17Aug 8, 2018Updated 7 years ago
- Interactive-diagrams☆39May 18, 2015Updated 10 years ago
- A simple file/directory watcher for Linux and macOS and other BSDs☆13Oct 28, 2023Updated 2 years ago
- ☆14Nov 6, 2017Updated 8 years ago
- Gidl: an Interface Description Language☆10Aug 11, 2017Updated 8 years ago
- Better trigger editor for scmdraft2.☆12Jul 25, 2019Updated 6 years ago
- Haskell module for working with genetic algorithms☆18Nov 10, 2011Updated 14 years ago
- Kansas Lava implementation of MOS 6502 microprocessor☆16Sep 19, 2018Updated 7 years ago
- New Relic® agent SDK wrapper for Haskell☆13Dec 27, 2017Updated 8 years ago
- Octree is a shallow tree structure for 3-dimensional points☆20Jul 22, 2020Updated 5 years ago
- A minimalist approach to an OpenTracing for Haskell☆17Dec 19, 2021Updated 4 years ago
- Testing with monadic side-effects☆33Jun 24, 2021Updated 4 years ago
- The https://ghc.dev Website Generator☆21Oct 22, 2024Updated last year
- Dafny for Metatheory of Programming Languages☆29Feb 6, 2026Updated 3 weeks ago
- A Haskell client library for Cayley database graph☆14Jan 6, 2026Updated last month
- A Haskell embedded DSL for generating an API's JSON wrappers and documentation.☆34Feb 10, 2026Updated 2 weeks ago
- ☆22Jan 12, 2026Updated last month
- My old Agda code for Homotopy Type Theory. (Halted. See HoTT/HoTT-Agda for the new one.)☆27Aug 14, 2014Updated 11 years ago
- Robust prettyprinter for output of auto-generated Show instances☆17Dec 13, 2019Updated 6 years ago
- Automatically generated Nix expressions for Hackage☆20Updated this week
- Various examples of machine learning, in Haskell.☆20Feb 9, 2022Updated 4 years ago
- A FUSE file system that interpolates secret information☆20Dec 16, 2016Updated 9 years ago
- Framework for running and organising QuickCheck test properties and HUnit test cases☆83Jun 18, 2018Updated 7 years ago
- Material for the Agda course at the EUTYPES Summer School '19 in Ohrid☆23Sep 3, 2019Updated 6 years ago
- This repo keeps track of my codes, answers and thinkings when exploring books.☆24Apr 21, 2021Updated 4 years ago