Giters
Desi (desi-ivanov)

desi-ivanov

Geek Repo

24

followers

13

following

122

stars

Company:Google

Github PK Tool:Github PK Tool

Organizations
googlers

Desi's repositories

ts-regexp

Type-Level Regular Expressions matching with TypeScript

Language:TypeScriptLicense:MITStargazers:22Issues:0Issues:0

agda-regexp-automata

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

Language:AgdaStargazers:15Issues:1Issues:0

ts-lambda-calc

Type-Level Lambda Calculus interpreter with TypeScript

Language:TypeScriptLicense:MITStargazers:15Issues:2Issues:0

cars-rl

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

Language:TypeScriptLicense:MITStargazers:9Issues:0Issues:0

CryptoRocket

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

Language:TypeScriptLicense:MITStargazers:9Issues:2Issues:1

img2img-stylegan

A style-based GAN with UNet-guided synthesis

Language:PythonLicense:NOASSERTIONStargazers:6Issues:2Issues:0

bayesian-networks-parser

A parser for bayesian networks in .net format. It generates Python code for instantiating BNs with discrete variables, compatible with an extension of BNs implemented in aima-python.

Language:TypeScriptStargazers:2Issues:1Issues:0

bb

A branch and bound visualizer for integer linear optimization problems, done with GLPK, WASM and React

Language:TypeScriptLicense:MITStargazers:2Issues:0Issues:0

bidix

An inter-process communication middleware for simplified bidirectional callbacks management, fully typed

Language:TypeScriptLicense:MITStargazers:2Issues:1Issues:0

automatic-lamp

Language:TypeScriptLicense:GPL-3.0Stargazers:1Issues:0Issues:0

bbb

Download and merge BBB video&audio recordings in the browser with ffmpeg.wasm

Language:PythonLicense:GPL-3.0Stargazers:1Issues:0Issues:0

flappyai

Flappy bird AI in 120 lines of vanilla js: https://desi-ivanov.github.io/flappyai/

Language:JavaScriptStargazers:1Issues:2Issues:0

taxi-world

A multi-agent system with AgentSpeak(L), Jason and Jade

Language:JavaStargazers:1Issues:0Issues:0

agda-kp-np

A formally verified proof of the NP-completeness of the Knapsack problem (work in progress)

Language:AgdaStargazers:0Issues:0Issues:0

agda-permutations

Formally verified soundness and completeness of permutations generation, in Agda

Language:AgdaStargazers:0Issues:2Issues:0

cars-ai

A simple car driving ai using a genetic algorithm

Language:TypeScriptLicense:MITStargazers:0Issues:0Issues:0

dcgan

A tensorflow implementation of DCGANs

Language:Jupyter NotebookStargazers:0Issues:0Issues:0

diffusers

🤗 Diffusers: State-of-the-art diffusion models for image and audio generation in PyTorch

License:Apache-2.0Stargazers:0Issues:0Issues:0

dino-ai

Language:TypeScriptStargazers:0Issues:0Issues:0

dreamdiet

The diet of your dreams

Language:TypeScriptLicense:MITStargazers:0Issues:0Issues:0

electron-update-logic

Language:TypeScriptStargazers:0Issues:1Issues:0

histopatho-drawer

A client for img2img-stylegan that can be used for colorectal histopathology image generation

Language:TypeScriptStargazers:0Issues:0Issues:0

med-seg-diff-pytorch

Implementation of MedSegDiff in Pytorch - SOTA medical segmentation using DDPM and filtering of features in fourier space

License:MITStargazers:0Issues:0Issues:0

nn

Neural networks from scratch with zero dependencies

Language:TypeScriptStargazers:0Issues:1Issues:0

pubblibike2maps

Find direction to a place with a stop at the nearest pubblibike station

Language:HTMLStargazers:0Issues:0Issues:0

tg-crypto-bot

A telegram bot for crypto prices monitoring based on coinbase api

Language:TypeScriptStargazers:0Issues:0Issues:0

trivia-demo

A demo app made with React Native

Language:JavaScriptStargazers:0Issues:1Issues:0

tsgrad

A simple autograd engine inspired by pytorch

Language:TypeScriptLicense:MITStargazers:0Issues:0Issues:0