aboutsummaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
exper-hs-numopsBenchmark with haskell num ops via mutable vectorsTom Smeding16 months
exper-invperm-proofTry write correct inverse permutation function (incomplete)Tom Smeding16 months
experiment-with-KnownShapeMake also the sized shaped lists strict due to impurity in horde-adMikolaj Konarski17 months
invert-castableWIP invertable CastableTom Smeding8 months
masterTweak shape ZipWith definitions slightlyMikolaj Konarski3 months
peano-snatWIP half-peano SNatsTom Smeding7 months
port-to-plugins-0.8.1DoneMikolaj Konarski4 days
repro-9.14-branchUpdate the repro vs plugins update courtesy of SamMikolaj Konarski6 weeks
reptrans-failedFailed experiment to add replicate/transpose combinationTom Smeding8 weeks
simplify-castableBidirectional inference for KnownEltTom Smeding4 months
[...]
 
TagDownloadAuthorAge
v0.1.0.0commit bff10fbf08...Tom Smeding3 months
last-with-inatcommit 77ab86ede9...Tom Smeding16 months
 
AgeCommit messageAuthor
2024-05-28Try write correct inverse permutation function (incomplete)exper-invperm-proofTom Smeding
2024-05-27Add some HList instancesTom Smeding
2024-05-27Record the dependency on arith_lists.h for recompilation checkingTom Smeding
2024-05-27Export NumElt and FloatElt publiclyTom Smeding
2024-05-27Re-add KnownNatList for convenience with transpose functionsTom Smeding
2024-05-27Fast (C) Floating opsTom Smeding
2024-05-26Fast Fractional ops via C codeTom Smeding
2024-05-26CleanupTom Smeding
2024-05-26Use fast C ops for X.sumFullTom Smeding
2024-05-26Fix bug in rerank workaroundTom Smeding
[...]