Pinned Repositories
bidirectional-instances
This package contains class for bidirectional instances and TH methods for generating instances for it.
FineTeX
FineTeX is a simple lang for math document preparation translatated into LaTeX
haskell-deploy-test
Haskell deploy to google drive action
kripke-model
Haskell lib for convenient work with Kripke models for modal logic
lists-constructor
The site for constructing math problems for olympiad clubs
monadic-lens
Monadic version of van Laarhoven's optics
tokenizer
Haskell lib for checking tokenizing uniqueness using generalized Sardinas-Patterson algorithm
Lev135's Repositories
Lev135/FineTeX
FineTeX is a simple lang for math document preparation translatated into LaTeX
Lev135/tokenizer
Haskell lib for checking tokenizing uniqueness using generalized Sardinas-Patterson algorithm
Lev135/bidirectional-instances
This package contains class for bidirectional instances and TH methods for generating instances for it.
Lev135/lists-constructor
The site for constructing math problems for olympiad clubs
Lev135/kripke-model
Haskell lib for convenient work with Kripke models for modal logic
Lev135/haskell-deploy-test
Haskell deploy to google drive action
Lev135/monadic-lens
Monadic version of van Laarhoven's optics
Lev135/calls-order-applicative
Haskell package for reordering evaluation using applicative interface
Lev135/extra
Extra Haskell functions
Lev135/FineTeX-2
Markup language for math document preparation targeting into LaTeX
Lev135/haddock
Haskell Documentation Tool
Lev135/hemmet
Emmet-like text expansion tool capable to produce HTML, CSS, file trees, that stuff
Lev135/lens
Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens
Lev135/lens-doc
The haddock documentation for haskell lens (https://hackage.haskell.org/package/lens) library
Lev135/Lev135
Config files for my GitHub profile.
Lev135/lists-constructor-front
Front end to the list-constructor server (https://github.com/Lev135/lists-constructor)
Lev135/mappable-transformers
Classes for mapping 'mtl' transformers
Lev135/megaparsec
Industrial-strength monadic parser combinator library
Lev135/PlanMaker
Lev135/pretty-simple
pretty-printer for Haskell data types that have a Show instance
Lev135/space-consumers
Improved space consumers for megaparsec library
Lev135/stylish-haskell
Haskell code prettifier
Lev135/test-actions
Repo for me to test action's power
Lev135/test-vercel
Lev135/tests-checker
Lev135/tests-checker-2
Lev135/UniMark
Unified Markup language --- write once and translate into different markups