-
dnsext Public
Forked from kazu-yamamoto/dnsextTypes for Extensible DNS libraries which are written purely in Haskell
Haskell UpdatedJun 3, 2025 -
-
-
-
haskell-protocol-radius Public
parser and printer for radius protocol packet
-
wai Public
Forked from kazu-yamamoto/waiHaskell Web Application Interface
Haskell MIT License UpdatedDec 13, 2024 -
network Public
Forked from kazu-yamamoto/networkLow-level networking interface
Haskell Other UpdatedSep 4, 2024 -
haskell-quic Public
Forked from kazu-yamamoto/quicIETF QUIC library in Haskell
Haskell BSD 3-Clause "New" or "Revised" License UpdatedJul 31, 2024 -
hhp Public
Forked from kazu-yamamoto/hhpHappy Haskell Programming
Haskell BSD 3-Clause "New" or "Revised" License UpdatedJul 20, 2024 -
haskell-protocol-radius-test Public
testsuit of protocol-radius haskell package
-
psqueues-ext Public
Forked from jaspervdj/psqueuesPriority Search Queues in three different flavors for Haskell, with ord extension
Haskell Other UpdatedFeb 14, 2024 -
haskell-th-data-compat Public
Compatibility for data definition template of TH
-
stackage Public
Forked from commercialhaskell/stackage"Stable Hackage," tools for creating a vetted set of packages from Hackage.
Dockerfile MIT License UpdatedDec 6, 2023 -
haskell-relational-record Public
This repository includes a joined query generator based on typefull relational algebra, and mapping tools between SQL values list and Haskell record type.
-
haskell-product-isomorphic Public
-
haskell-th-reify-compat Public
Compatibility for the result type of TH reify
-
haskell-th-constraint-compat Public
Compatibility for type constraint template
-
haskell-th-bang-compat Public
-
haskell-aeson-generic-compat Public
Compatible generic class names of Aeson
-
-
-
Agda is a dependently typed programming language / interactive theorem prover.
Haskell Other UpdatedJan 30, 2023 -
ProofGeneral-PG Public
Forked from ProofGeneral/PGclone of Proof General repo
Emacs Lisp GNU General Public License v3.0 UpdatedJan 30, 2023 -
haskell-quickcheck-simple Public
Test properties and default-mains for QuickCheck
-
haskell-debian-build Public
Debian package build sequence tools
-
-
dns Public
Forked from kazu-yamamoto/dnsDNS libary in Haskell
Haskell BSD 3-Clause "New" or "Revised" License UpdatedSep 16, 2022 -
cabal-debian Public
Forked from ddssff/cabal-debianCreate a Debianization by examining a .cabal file.
Haskell Other UpdatedOct 11, 2021 -
-
haskell-json-rpc-generic Public
Generic encoder and decode for JSON-RPC
{{ message }}