Maxim Ivanov's repositories
versioned-configs
Naming dotfiles as "versioned-configs" before it was cool
multibootusb
A collection of GRUB files and scripts that will allow you to create a pendrive capable of booting different ISO files
haskell-stack-builder
Unprivileged/rootless Docker Image for building Haskell projects with Stack without Nix
agda-pythagoras
A proof of Pythagoras's theorem in Agda2 (from the original proof by Thierry Coquand)
aurpublish
PKGBUILD management framework for the Arch User Repository
mjseating-mercury
🀄 Mahjong seating (tournament grid) generator in Mercury
agda
Agda is a dependently typed programming language / interactive theorem prover.
atom-language-idris
A Idris Mode for Atom.io
aws-lambda-haskell-runtime
⚡Haskell runtime for AWS Lambda
bytestring
An efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-bit character data.
cryptol.vim
A ViM plugin for the Cryptol programming language.
esqueleto
New home of Esqueleto, please file issues so we can get things caught up!
freecad.frametools
beams and frames
haskell-case-insensitive
Case insensitive string comparison
hlint
Haskell source code suggestions
jwt_tool
:snake: A toolkit for testing, tweaking and cracking JSON Web Tokens
LanguageClient-neovim
Language Server Protocol (LSP) support for vim and neovim.
lezer-parser-hamlet
Parser for Hamlet (Yesod's HTML DSL) in Codemirror's Lezer
loki
Like Prometheus, but for logs.
mercury-www
Mercury website
otp
Erlang/OTP
parsec
A monadic parser combinator library
relude
🌀 Safe, performant, user-friendly and lightweight Haskell standard library
rust.vim
Vim configuration for Rust.
shellcheck
ShellCheck, a static analysis tool for shell scripts
true-name
Template Haskell hack to violate another module's abstractions