Pinned Repositories
bookdown
Authoring Books and Technical Documents with R Markdown
gentestaiken
GrowthHackingTest
hasktorch
Tensors and neural networks in Haskell
knitr
A general-purpose tool for dynamic report generation in R
lineqlpbook
Open introductory textbook on linear programming
monad-bayes
A library for probabilistic programming in Haskell.
pandoc
Universal markup converter
type_checking_in_lean4
Type Checking in Lean 4
xml-typelift
XML TypeLift will allow to use XML Schema to create Haskell data type and parser for it
dataopt's Repositories
dataopt/bookdown
Authoring Books and Technical Documents with R Markdown
dataopt/gentestaiken
dataopt/GrowthHackingTest
dataopt/hasktorch
Tensors and neural networks in Haskell
dataopt/knitr
A general-purpose tool for dynamic report generation in R
dataopt/lineqlpbook
Open introductory textbook on linear programming
dataopt/monad-bayes
A library for probabilistic programming in Haskell.
dataopt/pandoc
Universal markup converter
dataopt/type_checking_in_lean4
Type Checking in Lean 4
dataopt/xml-typelift
XML TypeLift will allow to use XML Schema to create Haskell data type and parser for it