Discover @sergv Open Source projects

Sergey Vinokurov (@sergv)

sergv

Stars
144
Global Rank 158,553 (Top 6 %)
Followers 37
Following 15
Registered about 13 years ago
Most used languages

Haskell
68.2 %

Emacs Lisp
13.6 %

C
4.5 %

HTML
4.5 %

Clojure
4.5 %

Java
4.5 %
Location 🇬🇧 United Kingdom
Country Total Rank 7,404
Country Ranking

Haskell
53

Emacs Lisp
122

Clojure
348

Java
3,365

C
4,346

HTML
8,999

emacs-module

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

atomic-counter

Haskell counters that can be safely incremented from multiple threads

vector-quicksort

Haskell sort as fast as C++

hkanren

Haskell DSL for miniKanren

constrained

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

radix-tree

Haskell implementation of the radix tree data structure

chibi-repl-android

Chibi Scheme REPL for Android

emacs-native

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

happy-mode

Emacs major mode for editing Happy filles

kievfprog-2017-november

Slides for my talk about Recursion Schemes

turtle-geometry

Command turtle graphics using Scheme dialect on your Android

prettyprinter-combinators

Usefuly combinators for the 'prettyprinter' Haskell package

dotemacs

directory-ospath-streaming

Stream directory entries in constant memory in vanilla IO

ptx-mode

An Emacs mode for working with Nvidia's PTX files

vector-sorting-benchmarks

I want to beat std::sort with Haskell.

toml-reader-parse

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

diff-trees

Playground for diff algorithms on various tree structures

random-program-generation

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

nn

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

chibi-scheme-android

chibi scheme modified to run on android

kievfprog2015

Slides for my "Unifying parsing and prettyprinting" talk

haskell-tags-server

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