London, UK

Sergey Vinokurov

Advanced
@sergv

emacs-module. Wrappers around emacs-module.h to write Emacs modules in Haskell

62

atomic-counter. Haskell counters that can be safely incremented from multiple threads

19

vector-quicksort. Haskell sort as fast as C++ (on some platforms)

16

hkanren. Haskell DSL for miniKanren

10

radix-tree. Haskell implementation of the radix tree data structure

10

constrained. Generalizations of standard 'Functor', 'Foldable' and 'Traversable' to accomodate types like unboxed vectors

7

directory-ospath-streaming. Stream directory entries in constant memory in vanilla IO

7

chibi-repl-android. Chibi Scheme REPL for Android

5

dotemacs. emacs config

5

emacs-native. The rest of my Emacs config that got lucky to be implemented in Haskell instead of elisp

5

kievfprog-2017-november. Slides for my talk about Recursion Schemes

4

happy-mode. Emacs major mode for editing Happy filles

4

prettyprinter-combinators. Usefuly combinators for the 'prettyprinter' Haskell package

3

turtle-geometry. Command turtle graphics using Scheme dialect on your Android

3

bencoding. Serialization and deserealization of bencoded data used by bittorent protocol.

3

nn. Neural Networks in Haskell, mostly experimental stuff focusing on performance for now

1

kievfprog2015. Slides for my "Unifying parsing and prettyprinting" talk

1

toml-reader-parse. Alternative parser for values produced by `toml-reader` Haskell package

1

diff-trees. Playground for diff algorithms on various tree structures

1

ptx-mode. An Emacs mode for working with Nvidia's PTX files

1

random-program-generation. Investigate ways to generate random program that satisfy some predicates (e.g. are well-typed, evaluate to something, etc)

1

haskell-tags-server. Server that looks up haskell entities, similar to tags in editors but more precise

1

brittany. haskell source code formatter

1

nixos-config. Nix

1

vector-sorting-benchmarks. I want to beat std::sort with Haskell.

1

stackage-tester. Build stackage stapshot packages one by one with cabal, run tests and record produced build and test outputs in a directory to compare against building with different ghc

1
26
Apply