-
University of Warsaw
- http://mimuw.edu.pl/~mwrochna/
- https://orcid.org/0000-0001-9346-2172
Highlights
- Pro
-
LeanDojo Public
Forked from lean-dojo/LeanDojoTool for data extraction and interacting with Lean programmatically.
Python MIT License UpdatedSep 9, 2024 -
mlflow Public
Forked from mlflow/mlflowOpen source platform for the machine learning lifecycle
Python Apache License 2.0 UpdatedAug 15, 2024 -
qisabelle Public
Query the Isabelle proof assistant with python
-
scala-isabelle Public
Forked from dominique-unruh/scala-isabelleA Scala library for controlling/interacting with Isabelle
Scala MIT License UpdatedJun 11, 2024 -
nitrokey-documentation Public
Forked from Nitrokey/nitrokey-documentationUser documentation of Nitrokey's products
CSS UpdatedJan 31, 2024 -
abbrevIso Public
Publication title abbreviation per ISO-4 standard
-
docusaurus Public
Forked from facebook/docusaurusEasy to maintain open source documentation websites.
TypeScript MIT License UpdatedJul 24, 2022 -
detr Public
Forked from facebookresearch/detrEnd-to-End Object Detection with Transformers
Python Apache License 2.0 UpdatedOct 7, 2021 -
OHIFViewers Public
Forked from OHIF/ViewersOHIF zero-footprint DICOM viewer and oncology specific Lesion Tracker, plus shared extension packages
JavaScript MIT License UpdatedJun 25, 2021 -
-
sallow Public
An algorithm for finding treedepth decompositions
-
-
aplikacjawww Public
Forked from sebastianjaszczur/aplikacjawwwAplikacja dla Wielodyscyplinarnych Warsztatów Wakacyjnych
HTML UpdatedJun 29, 2015 -