dpiponi / quine-centralView external linksLinks
A quine generator
☆313Dec 12, 2018Updated 7 years ago
Alternatives and similar repositories for quine-central
Users that are interested in quine-central are comparing it to the libraries listed below
Sorting:
- ☆20Apr 17, 2019Updated 6 years ago
- Encode any Aeson (JSON) value as YAML (in pure Haskell)☆12Nov 5, 2023Updated 2 years ago
- A Haskell library making it easier to write Alex lexers.☆12Sep 15, 2025Updated 4 months ago
- The algebra for formal power series in elements of the Weyl algebra☆18Jul 25, 2018Updated 7 years ago
- Rust Automated Theorem Proving library inspired by a text by John Harrison (WIP)☆21May 21, 2025Updated 8 months ago
- Write yourself a typed functional language☆65Oct 11, 2018Updated 7 years ago
- A natural transformation package☆16Jan 8, 2026Updated last month
- Some tools for provability logic☆37Apr 16, 2018Updated 7 years ago
- Haskell combinators for executing IO actions in parallel on a thread pool☆47Dec 27, 2025Updated last month
- The SAW core language.☆55Jun 9, 2021Updated 4 years ago
- Protocol Buffers library for Haskell☆22Jul 18, 2021Updated 4 years ago
- Double ratchet algorithm for E2E encryption☆59Nov 22, 2018Updated 7 years ago
- Layout data in grids and pretty tables. Provides a lot of tools to get the cell formatting right (positional alignment, alignment on spec…☆41May 18, 2025Updated 8 months ago
- Clojure's Transducers in Haskell☆40May 23, 2016Updated 9 years ago
- Fast base64 encoding and decoding for Haskell.☆48Sep 25, 2023Updated 2 years ago
- Logic Explorer - customizable proof construction tool for sequent calculi☆21Jun 3, 2022Updated 3 years ago
- Simple reflection of expressions☆34Jun 18, 2021Updated 4 years ago
- parser for config files, shell variables, command line args.☆22Jun 30, 2016Updated 9 years ago
- ☆10Feb 3, 2016Updated 10 years ago
- PostgreSQL support for the drifter schema migration tool☆12Dec 25, 2017Updated 8 years ago
- Haskell dynamic RTS loader☆13Jun 24, 2016Updated 9 years ago
- Concurrent and efficient implementation of statsd in Haskell☆19Feb 12, 2014Updated 12 years ago
- Sift through Haskell code for analysis purposes☆18Jul 24, 2018Updated 7 years ago
- GLVisualize for the Web☆10Feb 8, 2020Updated 6 years ago
- The generalized intensional compiler for a Haskell-like language.☆14Nov 27, 2017Updated 8 years ago
- Closure calculus implementation☆12Jun 25, 2019Updated 6 years ago
- Haskell Interface for getting overall system statistics☆16Feb 8, 2019Updated 7 years ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 7 years ago
- Example usage of the Haskell C FFI with hsc2hs☆12Dec 14, 2024Updated last year
- Simple Haskell API for LMDB☆12Jun 17, 2019Updated 6 years ago
- Tesla API for Haskell☆15Dec 15, 2025Updated last month
- 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
- Schnorr Protocol for Non-interactive Zero-Knowledge Proofs☆76Feb 10, 2020Updated 6 years ago
- Interpreter for GHC Haskell☆22Nov 9, 2019Updated 6 years ago
- Dependently typed elimination functions using singletons☆28Jan 11, 2026Updated last month
- 🔮 🔧 Tool for scaffolding batteries-included production-level Haskell projects☆713Jan 19, 2026Updated 3 weeks ago
- Type-level well-kinded natural numbers.☆36Jan 2, 2025Updated last year
- Haskell package for representation, parsing, and pretty-printing of GLSL☆31Sep 19, 2023Updated 2 years ago
- A library for execution of Semantic Brain, based on Urban Müller's famous but unprintable language.☆24Oct 28, 2019Updated 6 years ago