Skip to content
View dboulytchev's full-sized avatar
67 followers · 0 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: StarstruckAchievement: Pull Shark
BetaSend feedback

Achievements

Achievement: Arctic Code Vault ContributorAchievement: StarstruckAchievement: Pull Shark
BetaSend feedback

Highlights

  • Pro
Block or Report

Block or report dboulytchev

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories

  1. miniKanren-coq miniKanren-coq Public

    A certified semantics for relational programming workout.

    Coq 24 3

  2. microProlog microProlog Public

    An implementation of a tiny logical Prolog-like language based on SLD-resolution

    Shell 6 1

  3. ostap ostap Public

    TeX 5 9

  4. compiler-2020 compiler-2020 Public

    A public repository for spring 2020 compiler course assignments

    TeX 3 51

  5. haskell-headshot haskell-headshot Public

    Examination problems, Haskell beginners course at SPbSU

    Haskell 2 29

  6. JPS JPS Public

    Forked from JetBrains/JPS

    Gant based build framework + dsl, with declarative project structure definition and automatic IntelliJ IDEA projects build

    Java 1