index
:
ox-arrays
SPEC-magic
exper-hs-numops
exper-invperm-proof
experiment-with-KnownShape
flesh-out-sized-lists
invert-castable
master
mgenerate-integral
mvecsReplicate
non-forcing-fromLists
peano-snat
port-to-natnormalise-0.8.1
port-to-plugins-0.8.1
repro-9.14-branch
reptrans-failed
simplify-castable
Nested, compositional struct-of-arrays orthotope arrays
git daemon user
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Branch
Commit message
Author
Age
SPEC-magic
SPEC magic
Mikolaj Konarski
4 weeks
master
XArray: Fix doc comment on ravelOuterN
Tom Smeding
4 weeks
mgenerate-integral
Generalize also mgenerate to potentially avoid @fmap fromIntegral@
Mikolaj Konarski
4 weeks
mvecsReplicate
Use shxDropSSX instead of shxSplitApp, etc.
Mikolaj Konarski
3 days
non-forcing-fromLists
Don't force the list argument early in X.fromList*, if possible
Mikolaj Konarski
7 weeks
port-to-natnormalise-0.8.1
Port to ghc-typelits-natnormalise-0.8.1 that is much overhauled
Mikolaj Konarski
3 months
port-to-plugins-0.8.1
Done
Mikolaj Konarski
3 months
repro-9.14-branch
Update the repro vs plugins update courtesy of Sam
Mikolaj Konarski
4 months
reptrans-failed
Failed experiment to add replicate/transpose combination
Tom Smeding
5 months
simplify-castable
Bidirectional inference for KnownElt
Tom Smeding
7 months
[...]
Tag
Download
Author
Age
repro-lint-profile
commit b1253991b2...
Mikolaj Konarski
11 days
repro-UNPACK
commit 21d3d6190b...
Mikolaj Konarski
2 weeks
v0.1.0.0
commit bff10fbf08...
Tom Smeding
6 months
last-with-inat
commit 77ab86ede9...
Tom Smeding
20 months
Age
Commit message
Author
2025-11-16
Don't force the list argument early in X.fromList*, if possible
non-forcing-fromLists
Mikolaj Konarski
2025-11-15
to
Tom Smeding
2025-11-15
README: Document array buffer sharing policy
Tom Smeding
2025-11-15
XArray: Further optimise toListOuter
Tom Smeding
2025-11-15
XArray: Optimise toListOuter
Tom Smeding
2025-11-15
arith: Add IntElt instances for Int8 and Int16
Tom Smeding
2025-11-15
arith: Support Int8 and Int16
Tom Smeding
2025-11-15
Support Int16 and Int8
Tom Smeding
2025-11-14
Equality on singletons is trivial
Tom Smeding
2025-10-21
ghc-typelits-knownnat 0.9.1 fixes the unsoundness again
Tom Smeding
[...]