Pinned Repositories
category-studygroup
dhall-default
Generate records with optional fields with types
fby16
Slides for my talk: "How to sell FP?"
hello-servant
Ridiculous cat roster
polyrhythmix
Polyrhythmically-inclinded Midi Drum generator
sax-parser
Monadic streaming XML parser
servant-rust
Rust client code generator for the servant webservices
sf
Software foundation exercises
octopod
Kubernetes self-service portal
schematic
type-safe JSON spec and validation tool
dredozubov's Repositories
dredozubov/polyrhythmix
Polyrhythmically-inclinded Midi Drum generator
dredozubov/sax-parser
Monadic streaming XML parser
dredozubov/dhall-default
Generate records with optional fields with types
dredozubov/awesome-music
Awesome Music Projects
dredozubov/dotfiles
my setting files, that's all
dredozubov/homebrew-core
🍻 Default formulae for the missing package manager for macOS (or Linux)
dredozubov/nix-config
dredozubov/servant
Main repository for the servant libraries. Web API combinators, with servers, clients and documentation
dredozubov/case-212
Открытое письмо специалистов IT-индустрии в защиту фигурантов «московского дела»
dredozubov/compaREST
Compatibility checker for OpenAPI
dredozubov/didkit
A cross-platform toolkit for decentralized identity.
dredozubov/drfghcissue
dredozubov/ghdl
VHDL 2008/93/87 simulator
dredozubov/gramaddict-bot
Completely free and open-source human-like Instagram bot. Powered by UIAutomator2 and compatible with basically any Android device 5.0+ that can run Instagram - real or emulated.
dredozubov/hakyll
A static website compiler library in Haskell
dredozubov/haskell-code-spot
Visual tool to spot odd runtime behaviour of Haskell programs.
dredozubov/haskell-companies
A gently curated list of companies using Haskell in industry
dredozubov/iverilog
Icarus Verilog
dredozubov/jsaddle
JavaScript interface that works with GHCJS or GHC
dredozubov/lorri
Your project's nix-env
dredozubov/nixpkgs
Nix Packages collection
dredozubov/octopod
Kubernetes self-service portal
dredozubov/reflex-platform
Reflex FRP is a composable, cross-platform functional reactive programming framework for Haskell. It allows you to build interactive components in pure functional style, working in harmony with established Haskell techniques and improving the quality and elegance of your applications.
dredozubov/revealjs-typeable
dredozubov/rs_sec_edgar
A small library for querying the SEC's EDGAR written in Rust.
dredozubov/rustlings
Small exercises to get you used to reading and writing Rust code!
dredozubov/selective
Selective Applicative Functors: Declare Your Effects Statically, Select Which to Execute Dynamically
dredozubov/udlbook
Understanding Deep Learning - Simon J.D. Prince
dredozubov/versioned
Protocol-agnostic data versioning framework
dredozubov/vscode-verilog-hdl-support
Verilog HDL/SystemVerilog support for VS Code