-
versioned-configs Public
Naming dotfiles as "versioned-configs" before it was cool
-
keter Public
Forked from snoyberg/keterWeb app deployment manager
Haskell MIT License UpdatedOct 28, 2025 -
LanguageClient-neovim Public
Forked from autozimu/LanguageClient-neovimLanguage Server Protocol (LSP) support for vim and neovim.
Rust MIT License UpdatedOct 22, 2025 -
first-class-families Public
Forked from Lysxia/first-class-familiesFirst-class type families
Haskell MIT License UpdatedOct 2, 2025 -
hfsnotify Public
Forked from haskell-fswatch/hfsnotifyUnified Haskell interface for basic file system notifications
Haskell BSD 3-Clause "New" or "Revised" License UpdatedSep 30, 2025 -
homebrew-core Public
Forked from Homebrew/homebrew-core🍻 Default formulae for the missing package manager for macOS (or Linux)
Ruby BSD 2-Clause "Simplified" License UpdatedSep 23, 2025 -
release-data Public
Forked from endoflife-date/release-dataCommon Release Data for various projects in a consumable format, automatically updated.
Python MIT License UpdatedAug 6, 2025 -
extensions Public
Forked from kowainik/extensions👅 Parse Haskell Language Extensions
Haskell Mozilla Public License 2.0 UpdatedJun 21, 2025 -
passport-okta-oauth Public
Forked from DavidZemon/passport-okta-oauthPassport strategy for authenticating with Okta using OAuth 2.0.
JavaScript MIT License UpdatedJun 20, 2025 -
agda-stdlib Public
Forked from agda/agda-stdlibThe Agda standard library
Agda Other UpdatedMay 28, 2025 -
stack Public
Forked from commercialhaskell/stackThe Haskell Tool Stack
Haskell Other UpdatedMay 19, 2025 -
hls-issue4583-repro Public
Standalone reproducer for haskell/haskell-language-server#4583
Haskell Mozilla Public License 2.0 UpdatedMay 8, 2025 -
endoflife.date Public
Forked from endoflife-date/endoflife.dateInformative site with EoL dates of everything
Ruby MIT License UpdatedMar 26, 2025 -
parquet-hs Public
Forked from yigitozkavci/parquet-hsRead parquet format with Haskell
Haskell BSD 3-Clause "New" or "Revised" License UpdatedMar 22, 2025 -
decode-spam-headers Public
Forked from mgeeky/decode-spam-headersA script that helps you understand why your E-Mail ended up in Spam
Python MIT License UpdatedMar 11, 2025 -
cabal-doctest Public
A Setup.hs shim for running doctests
-
haskell-companies Public
Forked from erkmos/haskell-companiesA gently curated list of companies using Haskell in industry
The Unlicense UpdatedOct 10, 2024 -
stackage Public
Forked from commercialhaskell/stackageStable Haskell package sets: vetted consistent packages from Hackage
Dockerfile MIT License UpdatedSep 29, 2024 -
relude Public
Forked from kowainik/relude🌀 Safe, performant, user-friendly and lightweight Haskell standard library
Haskell MIT License UpdatedSep 2, 2024 -
loki Public
Forked from grafana/lokiLike Prometheus, but for logs.
Go GNU Affero General Public License v3.0 UpdatedJul 30, 2024 -
jwt_tool Public
Forked from ticarpi/jwt_tool🐍 A toolkit for testing, tweaking and cracking JSON Web Tokens
Python GNU General Public License v3.0 UpdatedJul 8, 2024 -
haskell-case-insensitive Public
Forked from basvandijk/case-insensitiveCase insensitive string comparison
Haskell Other UpdatedMay 13, 2024 -
esqueleto Public
Forked from bitemyapp/esqueletoNew home of Esqueleto, please file issues so we can get things caught up!
Haskell BSD 3-Clause "New" or "Revised" License UpdatedMay 1, 2024 -
Agda is a dependently typed programming language / interactive theorem prover.
Haskell Other UpdatedMar 11, 2024 -
agda-pythagoras Public
Forked from ikedaisuke/PythagorasA proof of Pythagoras's theorem in Agda2 (from the original proof by Thierry Coquand)
1 UpdatedMar 3, 2024 -
security-advisories Public
Forked from haskell/security-advisoriesHaskell Other UpdatedFeb 27, 2024 -
haskell-stack-builder Public
Unprivileged/rootless Docker Image for building Haskell projects with Stack without Nix
-
atom-language-idris Public
Forked from idris-hackers/atom-language-idrisA Idris Mode for Atom.io
-
true-name Public
Forked from liyang/true-nameTemplate Haskell hack to violate another module's abstractions
Haskell BSD 3-Clause "New" or "Revised" License UpdatedJan 15, 2024 -
shellcheck Public
Forked from koalaman/shellcheckShellCheck, a static analysis tool for shell scripts
Haskell GNU General Public License v3.0 UpdatedNov 9, 2023
{{ message }}