Dmitry Krivaltsevich's repositories
codereview
Collection of code review checklists and code review best practices
hexic-solver
Solver for Hexic game
awesome-appsec
A curated list of resources for learning about application security
bash
Bash profile and useful commands
comfusy
Implementation of the "Complete Functional Synthesis" approach described in the eponymous PLDI 2010 paper.
hypothesis
Experiments with prime numbers. Attempt to "crack" pseudo-prime numbers using "smart" bruteforce.
postfix-repl
Unofficial and simple REPL for PostFix language described in the book 'Design Concepts in Programming Languages' by Franklyn Turbak and David Gifford with Mark A. Sheldon
wolfram-notepads
Collection of sketches in Wolfram Language
osx-dictionaries
Various dictionaries compatible with the Dictionary.app in Mac OS X.
play-scala-seed.g8
Play Scala Seed Template: run "sbt new playframework/play-scala-seed.g8"
scala
The Scala programming language
scalacaster
Purely Functional Algorithms and Data Structures in Scala
scalgos
algorithms in scala