pavelkogan's Stars
junegunn/fzf
:cherry_blossom: A command-line fuzzy finder
trailofbits/algo
Set up a personal VPN in the cloud
hmemcpy/milewski-ctfp-pdf
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
vahidk/EffectiveTensorflow
TensorFlow tutorials and best practices.
saulpw/visidata
A terminal spreadsheet multitool for discovering and arranging data
shutterstock/rickshaw
JavaScript toolkit for creating interactive real-time graphs
jarun/buku
:bookmark: Personal mini-web in text
tessalt/echo-chamber-js
Commenting without the comments
input-output-hk/cardano-sl
Cryptographic currency implementing Ouroboros PoS protocol
adtac/commento
A fast, bloat-free comments platform (Github mirror)
ocropus-archive/DUP-ocropy
Python-based tools for document analysis and OCR
SimulaVR/Simula
Linux VR Desktop
eduardoboucas/staticman
💪 User-generated content for Git-powered websites
idyll-lang/idyll
Create explorable explanations and interactive essays.
kythe/kythe
Kythe is a pluggable, (mostly) language-agnostic ecosystem for building tools that work with code.
simon-engledew/gocmdpev
A command-line GO Postgres query visualizer, heavily inspired by pev (https://github.com/AlexTatiyants/pev)
taskjuggler/TaskJuggler
TaskJuggler - Project Management beyond Gantt chart drawing
snowleopard/alga
Algebraic graphs
lspitzner/brittany
haskell source code formatter
jgonggrijp/pip-review
A tool to keep track of your Python package updates.
haskell-beam/beam
A type-safe, non-TH Haskell SQL library and ORM
yav/graphmod
A utility for displaying the module dependencies of Haskell programs.
diffusionkinetics/open
DiffusionKinetics open-source monorepo
google/haskell-indexer
Emits code crossreference data for Haskell sources.
sklam/py2nb
[This is no longer maintained] Python script to Jupyter notebook converter
emacs-helm/helm-mu
Helm sources for searching emails and contacts using mu
seanparsons/glue
Building Better Services And Clients
hasky-mode/hasky-extensions
Toggle Haskell language extensions from Emacs
duog/generic-lens-labels
wayetender/whip
Higher-order contract monitoring for modern services