Bodigrim/my-talks

Stars
2
Language
TeX
Created almost 6 years ago
Updated almost 2 years ago

Bodigrim/my-talks

Bodigrim

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

arithmoi

Number theory: primes, arithmetic functions, modular computations, special sequences

smallcheck

Test your Haskell code by exhaustively checking its properties

linear-builder

Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.

tasty-bench

Featherlight benchmark framework, drop-in replacement for criterion and gauge.

logict

A continuation-based backtracking logic programming monad

bitvec

Bit vectors: 8x less memory, up to 3500x faster than Vector Bool

poly

Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)

chimera

Lazy infinite compact streams with cache-friendly O(1) indexing and applications for memoization

cabal-add

Extend Cabal build-depends from the command line

text-rope

A wrapper around Text for fast line/column navigation and logarithmic concatenation

tasty-bench-fit

Benchmark a given function for variable input sizes and find out its time complexity

mod

Modular arithmetic, promoting moduli to the type level

quote-quot

Divide without division

infinite-list

Infinite lists aka streams

fast-digits

Split integers into digits, blazingly fast

rotcev

A wrapper for an arbitrary Vector with O(1) reverse

tasty-inspection-testing

Integrate inspection-testing into tasty test suites

ntru

acme-php-types

exp-pairs

Linear programming over exponent pairs

ascension

integer-roots

Integer roots and perfect powers of arbitrary precision

ghc92-segfault

arewefastyet-bytestring

perfect

arxiv2ebook

Compile papers from arxiv.org to the size of your e-reader's viewport