Discover @Bodigrim Open Source projects

ˌbodʲɪˈɡrʲim (@Bodigrim)

Bodigrim

Stars
912
Global Rank 33,507 (Top 2 %)
Followers 180
Following 1
Registered about 12 years ago
Most used languages

Haskell
96.0 %

TeX
4.0 %
Location 🇺🇦 Ukraine
Country Total Rank 204
Country Ranking

Haskell
3

TeX
44

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

my-talks

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