aboutsummaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
exper-hs-numopsBenchmark with haskell num ops via mutable vectorsTom Smeding10 months
exper-invperm-proofTry write correct inverse permutation function (incomplete)Tom Smeding10 months
experiment-with-KnownShapeMake also the sized shaped lists strict due to impurity in horde-adMikolaj Konarski11 months
flesh-out-sized-listsTry to make up for ToINat not being injectiveMikolaj Konarski11 months
invert-castableWIP invertable CastableTom Smeding8 weeks
masterDotprod: Optimise reversed and replicated dimensionsTom Smeding7 days
peano-snatWIP half-peano SNatsTom Smeding7 weeks
 
TagDownloadAuthorAge
last-with-inatcommit 77ab86ede9...Tom Smeding11 months
 
AgeCommit messageAuthor
7 daysDotprod: Optimise reversed and replicated dimensionsHEADmasterTom Smeding
7 daysbench: Dot product benchmarksTom Smeding
8 daysbench: Move comparison benchmarks to separate functionTom Smeding
8 daysImprove an error messageTom Smeding
13 daysCompatibility liftVEltwise1 (TODO remove)Tom Smeding
13 daysFix typo in error messageTom Smeding
13 daysSome re-exports for compatibilityTom Smeding
13 daysSeparate arith routines into a libraryTom Smeding
2025-03-18arith stats: Print timings with 3 digits precisionTom Smeding
2025-03-18arith stats: Improve output formatTom Smeding
[...]