Conditions for Haskell
☆15Mar 18, 2015Updated 10 years ago
Alternatives and similar repositories for conditions
Users that are interested in conditions are comparing it to the libraries listed below
Sorting:
- abstraction for auto scrubbing and const time Eq, memory chunk☆17Feb 15, 2020Updated 6 years ago
- A toy symbolic algebra / calculus library in Haskell☆12Oct 4, 2015Updated 10 years ago
- Timezone-aware datetime library for the Rust programming language☆10May 16, 2019Updated 6 years ago
- Self-describing consumers/parsers☆43Aug 31, 2018Updated 7 years ago
- Perceptual hashing command-line tool☆19Jan 28, 2026Updated last month
- DEPRECATED: Use bevel instead.☆25Dec 17, 2020Updated 5 years ago
- Create and animate sprites easily with sdl2 (Haskell)☆24May 12, 2018Updated 7 years ago
- Store a stable pointer in a foreign context to be retrieved later. Persists through GHCi reloads.☆35Feb 26, 2024Updated 2 years ago
- A library for generic programming that aims to be easy to understand☆26Dec 16, 2025Updated 2 months ago
- Social note-taking☆28Jan 22, 2022Updated 4 years ago
- Coq/Rocq practice session @ Lean For The Curious Mathematicians 2024☆13Mar 28, 2024Updated last year
- Just toys☆10Mar 5, 2023Updated 3 years ago
- Automatically exported from code.google.com/p/hunpos☆12Apr 9, 2018Updated 7 years ago
- Create a system tray menu from a YAML file with shell commands☆10Dec 15, 2025Updated 2 months ago
- ☆16Jun 22, 2024Updated last year
- ☆10Nov 24, 2016Updated 9 years ago
- bpm.is sauce☆10Nov 5, 2021Updated 4 years ago
- Create Svelte component demo quickly☆14Oct 31, 2022Updated 3 years ago
- Reversing tools for manipulating Golden Time: Vivid Memories game assets☆10Oct 17, 2024Updated last year
- An rewrite of Think DSP: Digital Signal Processing in Python, by Allen B. Downey using Haskell☆10Nov 25, 2024Updated last year
- Bicep grammar for tree-sitter☆10Jun 26, 2025Updated 8 months ago
- "Generic generics" / higher-kinded APIs in stable Rust.☆17Dec 8, 2025Updated 3 months ago
- HFST optimized-lookup standalone library and command line tool☆13Feb 27, 2018Updated 8 years ago
- Experimenting with number-to-string and string-to-number conversions in Rust☆14May 23, 2015Updated 10 years ago
- Foreign variables, deprecated in favor of `StateVar`☆11May 1, 2019Updated 6 years ago
- Tame RecordWildCards☆14Dec 30, 2024Updated last year
- HFST spell checker library and command line tool☆14Feb 20, 2024Updated 2 years ago
- Hoed - A Lightweight Haskell Tracer and Debugger☆51Mar 18, 2021Updated 4 years ago
- ☆16Oct 28, 2022Updated 3 years ago
- Experimental implementation of a Cubical Type Theory modeled by presheaves over posets☆14Aug 19, 2024Updated last year
- Simple tech stack for web development.☆10Apr 10, 2024Updated last year
- Easy bidirectional serialization in Haskell☆49Dec 12, 2018Updated 7 years ago
- Methodology for the Carbon Intensity forecast:☆14Sep 24, 2021Updated 4 years ago
- Rust declarative static analysis with macro-like syntax☆15Oct 8, 2018Updated 7 years ago
- ☆12Jan 5, 2015Updated 11 years ago
- Comprehensive and user friendly YAML 1.2 processor written in Rust☆11Jan 4, 2023Updated 3 years ago
- A Frege port of the GeoQuiz application from the Android BigNerd Ranch Book.☆11Apr 25, 2017Updated 8 years ago
- Monad and transformer for deferred-effect pure prompt-response queries☆12Jun 28, 2019Updated 6 years ago
- ☆14Apr 17, 2022Updated 3 years ago