Pinned Repositories
category-theory-for-programmers
Challenges from "Category Theory for Programmers" book
CIS-194
Haskell CIS 194 course (http://www.seas.upenn.edu/%7Ecis194/spring13/)
cloudflare-rs
Rust library for the Cloudflare v4 API
cropio-ruby
Cropio API bindings for Ruby
docker-mongos
dsl_examples
Simple Ruby DSL demonstration
plantuml_builder
Gem to build text diagrams with PlantUML
telegraph-parser
Gem to pull and parse articles from Telegra.ph
svernidub's Repositories
svernidub/plantuml_builder
Gem to build text diagrams with PlantUML
svernidub/docker-mongos
svernidub/telegraph-parser
Gem to pull and parse articles from Telegra.ph
svernidub/category-theory-for-programmers
Challenges from "Category Theory for Programmers" book
svernidub/CIS-194
Haskell CIS 194 course (http://www.seas.upenn.edu/%7Ecis194/spring13/)
svernidub/cloudflare-rs
Rust library for the Cloudflare v4 API
svernidub/cropio-ruby
Cropio API bindings for Ruby
svernidub/dsl_examples
Simple Ruby DSL demonstration
svernidub/genetic-algorithm
svernidub/genetic-rust
svernidub/go-parallel-matrix-multiplication
svernidub/haskell-book
Exercises from https://anton-k.github.io/ru-haskell-book/book/home.html
svernidub/haskell-examples
Problems solved in Haskell
svernidub/loki
Like Prometheus, but for logs.
svernidub/plantuml_sync
svernidub/sexpr