Dmitry Boulytchev (@dboulytchev)
github

dboulytchev

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    53
  • Global Rank 327,510 (Top 12 %)
  • Followers 73
  • Registered about 14 years ago
  • Most used languages
    TeX
         26.7 %
    Coq     26.7 %
    Haskell
         20.0 %
    OCaml
         13.3 %
    Shell
         6.7 %
    Makefile     6.7 %
  • Location 🇺🇸 United States
  • Country Total Rank 70,252
  • Country Ranking
    Coq     35
    OCaml
         613
    TeX
         1,196
    Haskell
         1,315
    Makefile     3,948

Top repositories

1

miniKanren-coq

A certified semantics for relational programming workout.
Coq
25
star
2

microProlog

An implementation of a tiny logical Prolog-like language based on SLD-resolution
Shell
6
star
3

ostap

TeX
5
star
4

compiler-2020

A public repository for spring 2020 compiler course assignments
TeX
3
star
5

haskell-headshot

Examination problems, Haskell beginners course at SPbSU
Haskell
2
star
6

jb-lab-proceedings

Automatically exported from code.google.com/p/jb-lab-proceedings
TeX
1
star
7

coq-supplementary

A supplementary Coq workout repository
Coq
1
star
8

direct-curry-howard

A set of samples to utilize Curry-Howard isomorphism in a direct manner (in Coq)
Coq
1
star
9

coroutine-parser-workout

A workout on coroutine parser combinators
OCaml
1
star
10

compiler-tutorial

Makefile
1
star
11

traversal-workout

Traversal-based normaliser workout
OCaml
1
star
12

game-semantics-workout

Game semantics implementation in Coq
Coq
1
star
13

LRP-2021

A supplementary repository for the course on logic and relational programming
Haskell
1
star
14

topics

1
star
15

IPLCT

Introduction to Programming Languages, Compilers, and Tools
TeX
1
star
16

typefun

Samples for Haskell type-level computations
Haskell
1
star