Pinned Repositories
atomic-counter
Haskell counters that can be safely incremented from multiple threads
chibi-repl-android
Chibi Scheme REPL for Android
constrained
Generalizations of standard 'Functor', 'Foldable' and 'Traversable' to accomodate types like unboxed vectors
emacs-module
Wrappers around emacs-module.h to write Emacs modules in Haskell
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
hkanren
Haskell DSL for miniKanren
kievfprog-2017-november
Slides for my talk about Recursion Schemes
radix-tree
Haskell implementation of the radix tree data structure
vector-quicksort
Haskell sort as fast as C++
sergv's Repositories
sergv/hkanren
Haskell DSL for miniKanren
sergv/chibi-repl-android
Chibi Scheme REPL for Android
sergv/turtle-geometry
Command turtle graphics using Scheme dialect on your Android
sergv/chibi-scheme-android
chibi scheme modified to run on android
sergv/diff-trees
Playground for diff algorithms on various tree structures
sergv/kievfprog2015
Slides for my "Unifying parsing and prettyprinting" talk
sergv/nn
Neural Networks in Haskell, mostly experimental stuff focusing on performance for now
sergv/random-program-generation
Investigate ways to generate random program that satisfy some predicates (e.g. are well-typed, evaluate to something, etc)
sergv/android-utils
Various utilities for writing Android apps with Clojure
sergv/cool
compiler of COOL language for Coursera Compilers course
sergv/distributed-challenge
Solve a problem in distributed computing
sergv/icfpc2013
My attempt at icfpc2013
sergv/jscheme
JScheme modified for Turtle Geometry app
sergv/kievfprog2016
My presentation for kiev::fprog 2016, "Let’s play with Regular Expressions"
sergv/linguahack2015
Our Linguahack 2015 Hackaton project
sergv/maxas
Assembler for NVIDIA Maxwell architecture
sergv/scheme
Another incomplete & unfinished Scheme implementation. This one is somewhat brutal as its AST is based on Data Types a la Carte
sergv/watch-yourself
Reasonable Android timetracking app