Oleksandr Manzyuk (@manzyuk)
github

manzyuk

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    59
  • Global Rank 303,690 (Top 11 %)
  • Followers 31
  • Following 13
  • Registered about 15 years ago
  • Most used languages
    Emacs Lisp
         50.0 %
    Haskell
         40.0 %
    Coq     10.0 %

Top repositories

1

google-translate

Obsolete, see https://github.com/atykhonov/google-translate
Emacs Lisp
25
star
2

groebner

A tiny EDSL for polynomial computations in Haskell
Haskell
7
star
3

ghci-completion

Completion for GHCi commands in inferior-haskell buffers
Emacs Lisp
6
star
4

ariadne-el

Ariadne plugin for Emacs
Emacs Lisp
5
star
5

TAPL

Haskell implementations of examples from "Types and Programming Languages" by Benjamin C. Pierce
Haskell
4
star
6

dotfiles

Most valuable pieces of my setup
Emacs Lisp
3
star
7

VL

An aggressively optimizing compiler for the VL language
Haskell
2
star
8

genius-star

The Genius Star puzzle solver
Haskell
1
star
9

cpdt-exercises

My solutions to exercises for "Certified Programming with Dependent Types" by Adam Chlipala
Coq
1
star
10

blog

My WordPress blog backed up by Org-mode
1
star
11

bert-el

BERT serialization library for Emacs
Emacs Lisp
1
star