antonio nikishaev

icfp2020-papers. ICFP 2020 papers. Crowd-sourced

icfp2019-papers. ICFP 2019 preprints/papers

prose. Pure-Haskell proper unicode string handling

acme-lookofdisapproval. Haskell

kex. K language semantics

bx. C

cocoricoogle. Perl 6

NastyTyped. some deptyped something in haskell

kiss. Haskell

float-binstring. Exact floating point values formatting for Haskell (printf "%a")

text-icu-translit. ICU transliteration for Haskell

solalized-emacsy-theme. Emacs default colours, but in solarized colour palette

flamingra. FlameGraphs of GHC profiling

awesome-coq. A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainers=@anton-trunov,@palmskog]

advent2019. adventofcode2019 in K7

yokozuna. Riak + Solr

prose-lens. Haskell

coq. Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

numerals. numerals formatting for Haskell (with proper CLDR rules)