Skip to content
View ondrej33's full-sized avatar
  • Masaryk University
  • Czech Republic

Achievements

Achievement: Pull Sharkx2

Achievements

Achievement: Pull Sharkx2

Organizations

@sybila

Block or report ondrej33

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
ondrej33/README.md

Hello there 👋

I'm Ondrej, a software engineer from Czechia. I am passionate about machine learning, developing desktop apps, and working on open-source libraries.

Most of my open-source work is focused on bioinformatics and computational biology as part of @ Sybila.

Languages

Python Rust C++ C JavaScript TypeScript SQL C#

Technologies

PyTorch TensorFlow Tauri PostgreSQL Docker Linux Node.js Selenium

More about my projects

Projects

Desktop applications

  • Sketchbook: Multi-platform application for designing and analysing biochemical models.
  • BN Classifier: Tool for classification of parametrized biochemical models.

Simulations and machine learning

  • Predator-prey simulator: Framework for simulating and evolving fish swarms in predatory environments.
  • MNIST NN IN C++: Neural network classifier from scratch for the FashionMNIST and MNIST datasets, written in pure C++ without external libraries.
  • Epidemic simulator: Application for simulating epidemic models like SIR and SIRS, written in C#.

CLI tools

Libraries I contribute to

  • AEON.py: Python library for analysis of logical models of biochemical systems.
  • lib-bma-data: Rust library to process biochemical models in BMA format.
  • lib-bn-sketches: Rust framework for inference of logical models of biochemical systems.
  • lib-param-bn: Rust library for manipulation with Boolean networks.
  • hctl-model-checker: Rust library for HCTL model checking.

Pinned Loading

  1. sybila/biodivine-sketchbook sybila/biodivine-sketchbook Public

    Biodivine Sketchbook is a multi-platform application for designing and analysing large-scale logical models.

    Rust 3

  2. sybila/biodivine-aeon-py sybila/biodivine-aeon-py Public

    Jupyter Notebook 6 2

  3. neural-network-mnist neural-network-mnist Public

    Neural network classifier from scratch for the FashionMNIST and MNIST datasets, written in pure C++ 17

    C++

  4. hctl-model-checker-py hctl-model-checker-py Public

    Symbolic model checker for hybrid CTL written in Python

    Python

  5. predator-prey-simulator predator-prey-simulator Public

    Framework for simulating and evolving fish swarms in predatory environments.

    HTML

  6. sybila/biodivine-bn-classifier sybila/biodivine-bn-classifier Public

    Desktop app for classification of partially specified Boolean networks based on HCTL properties.

    JavaScript