Skip to content
View desi-ivanov's full-sized avatar

Highlights

  • Pro

Organizations

@googlers

Block or report desi-ivanov

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

Pinned Loading

  1. agda-regexp-automata agda-regexp-automata Public

    Formalization of Regular Languages in Agda: regular expressions, finite-state automata, proof of equivalence, proof of the pumping lemma.

    Agda 16

  2. img2img-stylegan img2img-stylegan Public

    A style-based GAN with UNet-guided synthesis

    Python 8 1

  3. ts-regexp ts-regexp Public

    Type-Level Regular Expressions matching with TypeScript

    TypeScript 22

  4. ts-lambda-calc ts-lambda-calc Public

    Type-Level Lambda Calculus interpreter with TypeScript

    TypeScript 15 1

  5. CryptoRocket CryptoRocket Public

    A React Native app for simulated crypto trading based on Binance API

    TypeScript 10 8

  6. cars-rl cars-rl Public

    Reinforcement Learning (DQN) from scratch with zero dependencies applied to a simple car driving game

    TypeScript 10 2