-
14:59
(UTC +03:00)
Stars
Survival Mode as it Should've Been
An open source re-implementation of Chris Sawyer's Locomotion
A latent text-to-image diffusion model
Hackage-Server: A Haskell Package Repository
Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens
Haskell lib for checking tokenizing uniqueness using generalized Sardinas-Patterson algorithm
Squeal, a deep embedding of SQL in Haskell
RFC8259 compliant JSON parser, at the type level.
This package contains class for bidirectional instances and TH methods for generating instances for it.
Line Hyper-eXpander, a sed/awk-like text processing tool with a human face :)
An implementation of structural subtyping of records and functions
Experimental implementation of generic record subtyping
Staged push/pull fusion with typed Template Haskell
A ready-to-fork interpreted functional language with type inference
FineTeX is a simple lang for math document preparation translatated into LaTeX
Perform simple replacements in a text file, using a list of search/replace pairs
Emmet-like text expansion tool capable to produce HTML, CSS, file trees, that stuff
The nice-looking GUI for your generative art. With the support of detaching. Written in Elm. https://package.elm-lang.org/packages/shamansir/tron-gui/
Telegram bot that draws math equations from Mathjax input
The site for constructing math problems for olympiad clubs
A Dependently Typed Functional Programming Language