Pinned Repositories
24-days-of-syntactic-witchery
Aligning characters for fun and profit, with Haskell and PureScript
haskell-comark
CommonMark parser/renderer in pure Haskell.
html-email-validate
Validating an email adress against HTML standard
html5-entity
A Haskell library for looking up and validating HTML5 entities
purescript-cycle
Purescript bindings for Cycle.js
purescript-miniyampa
A simplistic AFRP implementation
purescript-var
Vars -- references that can be read/written from the Eff monad
purescript-websocket-simple
Simple Bindings to Websocket API for Purescript
servant-realworld-example-app
Exemplary real world application built with servant
zudov's Repositories
zudov/24-days-of-syntactic-witchery
Aligning characters for fun and profit, with Haskell and PureScript
zudov/purescript-websocket-simple
Simple Bindings to Websocket API for Purescript
zudov/haskell-comark
CommonMark parser/renderer in pure Haskell.
zudov/servant-realworld-example-app
Exemplary real world application built with servant
zudov/purescript-var
Vars -- references that can be read/written from the Eff monad
zudov/purescript-strongcheck-generics
Generics for purescript-strongcheck
zudov/haskell-cpu-instruction-counter
Measuring CPU instructions in Haskell using Linux Performance Counters
zudov/purescript-halogen-mdl
Halogen's HTML bindings to material-design-lite
zudov/html-email-validate
Validating an email adress against HTML standard
zudov/.emacs.d
zudov/baltic-way
GPX track that follows along the Baltic Way
zudov/cider
The Clojure Interactive Development Environment that Rocks for Emacs
zudov/cmark-hs
Haskell bindings to libcmark commonmark parser
zudov/dhall-haskell
A configuration language guaranteed to terminate
zudov/dhall-lang
A configuration language guaranteed to terminate
zudov/ghc-paths
Knowledge of GHC's installation directories
zudov/http-api-data
Converting to/from HTTP API data like URL pieces, headers and query parameters.
zudov/http-client
An HTTP client engine, intended as a base layer for more user-friendly packages.
zudov/idris-exercises
Solving "Type-Driven Development with Idris", chapter by chapter
zudov/ngless
NGLess: NGS with less work
zudov/nixpkgs
Nix Packages collection
zudov/purescript-corefn
A library for working with the PureScript functional core.
zudov/purescript-effect
The Effect monad, for handling native side effects
zudov/qmk_firmware
keyboard controller firmware for Atmel AVR USB family
zudov/react-admin
A frontend Framework for building B2B applications running in the browser on top of REST/GraphQL APIs, using ES6, React and Material Design
zudov/rust-gpx
Rust read/write support for GPS Exchange Format (GPX)
zudov/servant
Main repository for the servant libraries. Web API combinators, with servers, clients and documentation
zudov/spandex
Elasticsearch client for Clojure (built on new ES 5.x java client)
zudov/Tidal
Pattern language
zudov/zudov.github.io
My blog