https://github.com/lev135/finetex

FineTeX is a simple lang for math document preparation translatated into LaTeX

language latex math

Last synced: 09 Apr 2025

https://github.com/lev135/tokenizer

Haskell lib for checking tokenizing uniqueness using generalized Sardinas-Patterson algorithm

Last synced: 09 Apr 2025

https://github.com/lev135/bidirectional-instances

This package contains class for bidirectional instances and TH methods for generating instances for it.

haskell language

Last synced: 27 Jan 2026

https://github.com/lev135/lens-doc

The haddock documentation for haskell lens (https://hackage.haskell.org/package/lens) library

Last synced: 18 Feb 2026

https://github.com/lev135/lev135

Config files for my GitHub profile.

config github-config

Last synced: 04 Feb 2026

https://github.com/lev135/space-consumers

Improved space consumers for megaparsec library

haskell haskell-library megaparsec parsing

Last synced: 13 Jul 2026

https://github.com/lev135/unimark

Unified Markup language --- write once and translate into different markups

Last synced: 28 Jan 2026

https://github.com/lev135/test-vercel

Last synced: 16 Feb 2026

https://github.com/lev135/calls-order-applicative

Haskell package for reordering evaluation using applicative interface

Last synced: 16 Apr 2026

https://github.com/lev135/mappable-transformers

Classes for mapping 'mtl' transformers

effects haskell-library monad-transformers

Last synced: 20 Apr 2026

https://github.com/lev135/monadic-lens

Monadic version of van Laarhoven's optics

Last synced: 20 Apr 2026

https://github.com/lev135/tests-checker-2

Last synced: 30 Oct 2025

https://github.com/lev135/haskell-deploy-test

Haskell deploy to google drive action

Last synced: 25 Apr 2026

https://github.com/lev135/finetex-2

Markup language for math document preparation targeting into LaTeX

Last synced: 15 Jul 2025

https://github.com/lev135/test-actions

Repo for me to test action's power

Last synced: 18 Mar 2026