Pinned Repositories
agda-regexp-automata
Formalization of Regular Languages in Agda: regular expressions, finite-state automata, proof of equivalence, proof of the pumping lemma.
automatic-lamp
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.
bb
A branch and bound visualizer for integer linear optimization problems, done with GLPK, WASM and React
bidix
An inter-process communication middleware for simplified bidirectional callbacks management, fully typed
cars-rl
Reinforcement Learning (DQN) from scratch with zero dependencies applied to a simple car driving game
CryptoRocket
A React Native app for simulated crypto trading based on Binance API
img2img-stylegan
A style-based GAN with UNet-guided synthesis
ts-lambda-calc
Type-Level Lambda Calculus interpreter with TypeScript
ts-regexp
Type-Level Regular Expressions matching with TypeScript
desi-ivanov's Repositories
desi-ivanov/ts-regexp
Type-Level Regular Expressions matching with TypeScript
desi-ivanov/agda-regexp-automata
Formalization of Regular Languages in Agda: regular expressions, finite-state automata, proof of equivalence, proof of the pumping lemma.
desi-ivanov/ts-lambda-calc
Type-Level Lambda Calculus interpreter with TypeScript
desi-ivanov/cars-rl
Reinforcement Learning (DQN) from scratch with zero dependencies applied to a simple car driving game
desi-ivanov/CryptoRocket
A React Native app for simulated crypto trading based on Binance API
desi-ivanov/img2img-stylegan
A style-based GAN with UNet-guided synthesis
desi-ivanov/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.
desi-ivanov/bb
A branch and bound visualizer for integer linear optimization problems, done with GLPK, WASM and React
desi-ivanov/bidix
An inter-process communication middleware for simplified bidirectional callbacks management, fully typed
desi-ivanov/automatic-lamp
desi-ivanov/bbb
Download and merge BBB video&audio recordings in the browser with ffmpeg.wasm
desi-ivanov/flappyai
Flappy bird AI in 120 lines of vanilla js: https://desi-ivanov.github.io/flappyai/
desi-ivanov/taxi-world
A multi-agent system with AgentSpeak(L), Jason and Jade
desi-ivanov/agda-kp-np
A formally verified proof of the NP-completeness of the Knapsack problem (work in progress)
desi-ivanov/agda-permutations
Formally verified soundness and completeness of permutations generation, in Agda
desi-ivanov/cars-ai
A simple car driving ai using a genetic algorithm
desi-ivanov/dcgan
A tensorflow implementation of DCGANs
desi-ivanov/diffusers
🤗 Diffusers: State-of-the-art diffusion models for image and audio generation in PyTorch
desi-ivanov/dino-ai
desi-ivanov/dreamdiet
The diet of your dreams
desi-ivanov/electron-update-logic
desi-ivanov/histopatho-drawer
A client for img2img-stylegan that can be used for colorectal histopathology image generation
desi-ivanov/med-seg-diff-pytorch
Implementation of MedSegDiff in Pytorch - SOTA medical segmentation using DDPM and filtering of features in fourier space
desi-ivanov/nn
Neural networks from scratch with zero dependencies
desi-ivanov/pubblibike2maps
Find direction to a place with a stop at the nearest pubblibike station
desi-ivanov/tg-crypto-bot
A telegram bot for crypto prices monitoring based on coinbase api
desi-ivanov/trivia-demo
A demo app made with React Native
desi-ivanov/tsgrad
A simple autograd engine inspired by pytorch