-
-
poritt Public
A type theory implementation grown from a demo project for debruijn package.
-
skew-list Public
Random Access List: Skewed Binary
-
-
install-llvm-action Public
Forked from KyleMayes/install-llvm-actionA GitHub Action for downloading and installing LLVM and Clang binaries.
TypeScript Apache License 2.0 UpdatedMay 2, 2025 -
ghc-proposals Public
Forked from ghc-proposals/ghc-proposalsProposed compiler and language changes for GHC and GHC/Haskell
1 UpdatedApr 2, 2025 -
-
cabal-fmt Public
An experiment of formatting .cabal files
-
fix-whitespace Public
Forked from agda/fix-whitespaceFixes whitespace issues
Haskell Other UpdatedMar 15, 2025 -
adjunctions Public
Forked from ekmett/adjunctionsSimple adjunctions
Haskell Other UpdatedMar 14, 2025 -
-
agda-np Public
More programming suited version of All and Any, and other tools I keep reimplementing.
-
gists Public
Oleg's gists
-
-
int-conv Public
Direct conversion functions between Ints and Words
-
topograph Public
Directed Acyclic Graphs
-
singleton-bool Public
Type level booleans
-
regression-simple Public
Simple linear and quadratic regression
-
integer-conversion Public
Effecient conversion from text to Integer
-
file-embed-lzma Public
Use Template Haskell to embed (LZMA compressed) data.
-
dec Public
Decidable propositions
-
-
-
cabal-extras Public
A tool suite to aid Haskell development using `cabal-install`
-
trustee Public
Hackage Trustee helper tool
-
-
text-metrics Public
Forked from mrkkrp/text-metricsCalculate various string metrics efficiently in Haskell
Haskell Other UpdatedSep 27, 2024 -
zinza Public
Typed templates with jinja like syntax. Docs on Hackage.
-
spdx Public
SPDX license expression language - Haskell implementation
-
{{ message }}