aboutsummaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
exper-hs-numopsBenchmark with haskell num ops via mutable vectorsTom Smeding11 months
exper-invperm-proofTry write correct inverse permutation function (incomplete)Tom Smeding11 months
experiment-with-KnownShapeMake also the sized shaped lists strict due to impurity in horde-adMikolaj Konarski12 months
flesh-out-sized-listsTry to make up for ToINat not being injectiveMikolaj Konarski12 months
invert-castableWIP invertable CastableTom Smeding3 months
masterShow concisely arrays replicated from a single element (scalar or not)Mikolaj Konarski5 hours
peano-snatWIP half-peano SNatsTom Smeding2 months
 
TagDownloadAuthorAge
last-with-inatcommit 77ab86ede9...Tom Smeding11 months
 
AgeCommit messageAuthor
5 hoursShow concisely arrays replicated from a single element (scalar or not)HEADmasterMikolaj Konarski
6 hoursAdd mstrideTree and StrideTreeMikolaj Konarski
3 daysBump base upper boundTom Smeding
3 daystest: up 'random' dependencyTom Smeding
11 daysarith: Better typing of enum stats_binary_idTom Smeding
11 daysarith: Don't use C23 featuresTom Smeding
2025-03-25Dotprod: Optimise reversed and replicated dimensionsTom Smeding
2025-03-25bench: Dot product benchmarksTom Smeding
2025-03-25bench: Move comparison benchmarks to separate functionTom Smeding
2025-03-25Improve an error messageTom Smeding
[...]