Pinned Repositories
abbrevIso
Publication title abbreviation per ISO-4 standard
aplikacjawww
Aplikacja dla Wielodyscyplinarnych Warsztatów Wakacyjnych
detr
End-to-End Object Detection with Transformers
docusaurus
Easy to maintain open source documentation websites.
ElGrapho
LeanDojo
Tool for data extraction and interacting with Lean programmatically.
mlflow
Open source platform for the machine learning lifecycle
qisabelle
Query the Isabelle proof assistant with python
sallow
An algorithm for finding treedepth decompositions
tokenzeroBot
Wikipedia bots
marcinwrochna's Repositories
marcinwrochna/abbrevIso
Publication title abbreviation per ISO-4 standard
marcinwrochna/sallow
An algorithm for finding treedepth decompositions
marcinwrochna/aplikacjawww
Aplikacja dla Wielodyscyplinarnych Warsztatów Wakacyjnych
marcinwrochna/detr
End-to-End Object Detection with Transformers
marcinwrochna/docusaurus
Easy to maintain open source documentation websites.
marcinwrochna/ElGrapho
marcinwrochna/LeanDojo
Tool for data extraction and interacting with Lean programmatically.
marcinwrochna/mlflow
Open source platform for the machine learning lifecycle
marcinwrochna/nitrokey-documentation
User documentation of Nitrokey's products
marcinwrochna/OHIFViewers
OHIF zero-footprint DICOM viewer and oncology specific Lesion Tracker, plus shared extension packages
marcinwrochna/qisabelle
Query the Isabelle proof assistant with python
marcinwrochna/scala-isabelle
A Scala library for controlling/interacting with Isabelle
marcinwrochna/tokenzeroBot
Wikipedia bots
marcinwrochna/www-app
Old app from code.google.com/p/www-app