weinhuber

weinhuber's Stars

• OxiDD/oxidd

  Concurrent decision diagram framework written in Rust

  Language:Rust486

• shankarpandala/lazypredict

  Lazy Predict help build a lot of basic models without much code and helps understand which models works better without any parameter tuning

  Language:Python3k349

• adap/flower-swift

  Language:Swift62

• prismmodelchecker/prism-games

  The main development version of the PRISM-games model checker, an extension of PRISM which supports stochastic games.

  Language:Java2326

• lukas-blecher/LaTeX-OCR

  pix2tex: Using a ViT to convert images of equations into LaTeX code.

  Language:Python13.1k1.1k

• SvenTiigi/WhatsNewKit

  Showcase your awesome new app features 📱

  Language:Swift4k194

• NumericalMax/flower

  Flower - A Friendly Federated Learning Framework

  Language:Python3