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 Smeding9 days
peano-snatWIP half-peano SNatsTom Smeding7 weeks
 
TagDownloadAuthorAge
last-with-inatcommit 77ab86ede9...Tom Smeding11 months
 
AgeCommit messageAuthor
9 daysDotprod: Optimise reversed and replicated dimensionsHEADmasterTom Smeding
9 daysbench: Dot product benchmarksTom Smeding
9 daysbench: Move comparison benchmarks to separate functionTom Smeding
9 daysImprove an error messageTom Smeding
2025-03-20Compatibility liftVEltwise1 (TODO remove)Tom Smeding
2025-03-20Fix typo in error messageTom Smeding
2025-03-20Some re-exports for compatibilityTom Smeding
2025-03-20Separate 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
[...]
generated by cgit v1.2.3-70-g09d2 (git 2.48.1) at 2025-04-04 03:41:38 +0200