Alexey Uimanov's repositories
bloodhound
Haskell Elasticsearch client and query DSL
Language:HaskellBSD-3-Clause000
burn
burner for your time
Language:Haskell000
Language:Coq000
haskell-mode
Emacs mode for Haskell
Haskell-OpenAPI-Client-Code-Generator
Generate Haskell client code from an OpenAPI 3 specification
Language:HaskellMIT000
katip
A structured logging framework for Haskell
Language:Haskell000
Language:HaskellBSD-3-Clause000
nixflk
highly structured NixOS configuration database
MIT000
nixpkgs
Nix Packages collection
Language:NixMIT000
Language:HaskellBSD-3-Clause000
passbaker
Password memorizer tool
Language:Rust000
rms-support-letter.github.io
An open letter in support of Richard Matthew Stallman being reinstated by the Free Software Foundation
GPL-3.0000
servant
Main repository for the servant libraries -- DSL for describing, serving, querying, mocking, documenting web applications and more!
Language:Haskell000
servant-reflex
Generate reflex client functions for querying a servant API
Language:HaskellBSD-3-Clause000
software-foundations
Mirror of “Software Foundations”, by Benjamin Pierce et al.
Language:HTML000
Language:HaskellBSD-3-Clause000