Матеріали курсу "Дискретна математика", який читався на кафедрі АСОІУ Київського Політехнічного Інституту з 2006 по 2015 рік (з деякими перервами).
☆117Apr 24, 2020Updated 5 years ago
Alternatives and similar repositories for dm
Users that are interested in dm are comparing it to the libraries listed below
Sorting:
- ☆12Jul 30, 2024Updated last year
- Data from "Crowdsourcing of Parallel Corpora: the Case of Style Transfer for Detoxification" paper☆14Apr 3, 2025Updated 11 months ago
- Simple 2d simulation of Falcon 9 rocket landing on an ocean platform (Python)☆14May 24, 2018Updated 7 years ago
- nxsearch: a full-text search engine☆16Oct 25, 2025Updated 4 months ago
- UA-GEC: Grammatical Error Correction and Fluency Corpus for the Ukrainian Language☆269Feb 11, 2024Updated 2 years ago
- A corpus of Ukrainian Twitter texts + instructions for downloading and filtering texts.☆15Jul 4, 2019Updated 6 years ago
- Scripts for "Deploy ML to production" workshop☆23Apr 25, 2018Updated 7 years ago
- ☆21Jun 10, 2020Updated 5 years ago
- ☆28May 7, 2015Updated 10 years ago
- mlserve turns your python models into RESTful API, serves web page with form generated to match your input data.☆27Dec 8, 2022Updated 3 years ago
- ☆29Nov 12, 2025Updated 3 months ago
- A collection of links to Ukrainian language tools☆40Apr 27, 2022Updated 3 years ago
- ☆15Nov 16, 2015Updated 10 years ago
- Flask/Mongo application to provide intuitive web-interface for tasks distribution☆36Feb 19, 2026Updated 2 weeks ago
- Visualizing the activity of many concurrent processes☆59Jul 7, 2020Updated 5 years ago
- Dynamic dispatch over arbitrary predicates☆10Feb 2, 2016Updated 10 years ago
- ☆10Apr 4, 2018Updated 7 years ago
- An Android XML implementation of Material 3 list items.☆13Jan 26, 2026Updated last month
- Awesome Ukrainian IT Communities☆264Nov 8, 2024Updated last year
- A formalization of the Dedekind real numbers in Coq [maintainer=@andrejbauer]☆45Jul 14, 2024Updated last year
- Cryptonomica Arbitration Rules☆10Dec 17, 2018Updated 7 years ago
- Ukrainian ELECTRA model☆12Mar 11, 2023Updated 2 years ago
- Magic Wormhole for Haskell☆11Apr 23, 2024Updated last year
- WARNING: Not mantained☆14Oct 2, 2022Updated 3 years ago
- CNN Image Retrieval Model Weights Ported☆12Jun 2, 2018Updated 7 years ago
- Example how to append data to a Haskell executable using sqlite☆10Mar 16, 2020Updated 5 years ago
- The official Languini Kitchen repository☆14May 6, 2024Updated last year
- Hackathon project for Snarky workshop.☆11Jun 21, 2019Updated 6 years ago
- ☆11Oct 19, 2024Updated last year
- AWS Lambda Scheduler -- Use cron expressions to schedule Aws Lambda Functions☆12Aug 14, 2015Updated 10 years ago
- ☆10Dec 30, 2025Updated 2 months ago
- XML Type for Yjs☆12Oct 2, 2017Updated 8 years ago
- Safe Rust bindings for OpenZL - a graph-based typed compression library☆21Oct 7, 2025Updated 4 months ago
- The Python SDK for accessing various Merge Unified APIs☆14Jan 21, 2026Updated last month
- Scripts for recreating the Replication Dataset for Fundamental Frequency Estimation. Part of the dissertation "Pitch of Voiced Speech in …☆11Mar 29, 2021Updated 4 years ago
- ☆11Feb 11, 2020Updated 6 years ago
- PyTorch implementation of TinyWASE described in our paper "Compressing Speaker Extraction Model with Ultra-low Precision Quantization and…☆11Jun 28, 2021Updated 4 years ago
- A Visualizer for prosodically annotated speech corpora☆12Oct 27, 2021Updated 4 years ago
- Functional Linear Algebra with Block Matrices☆11Feb 17, 2022Updated 4 years ago