Name: Nikita Karetnikov
Type: User
Company: Quansight
Bio: Opensource @Quansight. Math, machine learning, functional programming, compilers, demoscene. I love meeting new people, email me and introduce yourself!
Location: Germany
Blog: https://blog.karetnikov.org
Nikita Karetnikov's Projects
Agda is a dependently typed programming language / interactive theorem prover.
Extending Jupyter-Scheduler to use Argo-Workflows as a backend.
Continuous integration server
Official upstream development repository for Cabal and cabal-install
A special interest group for companies and individuals interested in commercial usage of Haskell
Data science environments, for collaboration. ✨
conda-store-ui is a frontend for conda-store powered by react
being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathclyde
Research language for array processing in the Haskell/ML family
Flax is a neural network library for JAX that is designed for flexibility.
Flexible Register/Instruction Extender aNd Documentation
Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haskell.org/trac/ghc), or sent to the mailing list ([email protected])
Submit stacked diffs to GitHub on the command line
The new Hackage server aka "Hackage 2"
Extra pre-made configurations and useful modules for hakyll