Desi's repositories
agda-regexp-automata
Formalization of Regular Languages in Agda: regular expressions, finite-state automata, proof of equivalence, proof of the pumping lemma.
ts-lambda-calc
Type-Level Lambda Calculus interpreter with TypeScript
CryptoRocket
A React Native app for simulated crypto trading based on Binance API
img2img-stylegan
A style-based GAN with UNet-guided synthesis
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.
taxi-world
A multi-agent system with AgentSpeak(L), Jason and Jade
agda-kp-np
A formally verified proof of the NP-completeness of the Knapsack problem (work in progress)
agda-permutations
Formally verified soundness and completeness of permutations generation, in Agda
cars-ai
A simple car driving ai using a genetic algorithm
diffusers
🤗 Diffusers: State-of-the-art diffusion models for image and audio generation in PyTorch
dreamdiet
The diet of your dreams
histopatho-drawer
A client for img2img-stylegan that can be used for colorectal histopathology image generation
med-seg-diff-pytorch
Implementation of MedSegDiff in Pytorch - SOTA medical segmentation using DDPM and filtering of features in fourier space
pubblibike2maps
Find direction to a place with a stop at the nearest pubblibike station
tg-crypto-bot
A telegram bot for crypto prices monitoring based on coinbase api
trivia-demo
A demo app made with React Native
tsgrad
A simple autograd engine inspired by pytorch