-
pts-agda Public
Forked from sstucki/pts-agdaA formalization of Pure Type Systems (PTS) in Agda
Agda Other UpdatedJan 14, 2025 -
-
advent Public
Advent of Code complete solution archive and common library
-
irc-core Public
Haskell IRC library and console client - Join us on libera.chat #glirc
-
config-schema Public
Self-documenting, combinator constructed configuration schemas
-
config-value Public
Simple, layout-based, unambiguous configuration language implemented in Haskell
-
-
toml-parser Public
Haskell parser and printer for the TOML 1.0.0 file format
-
intcode Public
Intocode interpreter for Advent of Code 2019
-
awesome-advent-of-code Public
Forked from Bogdanp/awesome-advent-of-codeA collection of awesome resources related to the yearly Advent of Code challenge.
Python UpdatedDec 7, 2024 -
th-abstraction Public
Uniform interface to reified data type information via Template Haskell
-
HsOpenSSL Public
Forked from haskell-cryptography/HsOpenSSLOpenSSL binding for Haskell
Haskell Creative Commons Zero v1.0 Universal UpdatedAug 20, 2024 -
vty-unix Public
Forked from jtdaugherty/vty-unixUnix backend for Vty
Haskell Other UpdatedAug 12, 2024 -
pkcs11-provider Public
Forked from latchset/pkcs11-providerA pkcs#11 provider for OpenSSL 3.0+
C Other UpdatedJul 22, 2024 -
-
-
operations Public
Exploration of an object encoding for Haskell
-
soju Public
Forked from emersion/sojuIRC bouncer (mirror)
Go GNU Affero General Public License v3.0 UpdatedMay 17, 2024 -
-
language-lua Public
Forked from osa1/language-luaLua parser and pretty-printer
-
opentelemetry-auto Public
Forked from aaronallen8455/opentelemetry-autoOpen telemetry auto instrumentation using GHC plugin
Haskell Other UpdatedMar 31, 2024 -
tt-ratings Public
Implementation of David J. Marcus' "New table tennis rating system"
-
newttrs Public
Implementation of the New Table Tennis Rating System
-
lens-toml-parser Public
Forked from henrytill/lens-toml-parserLenses for toml-parser
Haskell ISC License UpdatedFeb 27, 2024 -
security-advisories Public
Forked from haskell/security-advisoriesHaskell Other UpdatedFeb 27, 2024 -
typst-hs Public
Forked from jgm/typst-hsHaskell library for parsing and evaluating typst
Haskell Other UpdatedFeb 27, 2024 -
PdxExplorers Public
A bukkit plug-in which allows users to configure multi-waypoint routes, track completion, and issue rewards
-
-
ghcup-metadata Public
Forked from haskell/ghcup-metadataGHCup metadata repository
Haskell UpdatedJan 4, 2024 -
hledger Public
Forked from simonmichael/hledgereasy-to-use command-line/curses/web plaintext accounting tool; a modern and largely compatible Haskell rewrite of Ledger
Haskell GNU General Public License v3.0 UpdatedNov 7, 2023