Матеріали курсу "Дискретна математика", який читався на кафедрі АСОІУ Київського Політехнічного Інституту з 2006 по 2015 рік (з деякими перервами).
☆116Apr 24, 2020Updated 6 years ago
Alternatives and similar repositories for dm
Users that are interested in dm are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆12Jul 30, 2024Updated last year
- Open Source Crimean Tatar Text-to-Speech datasets☆14Feb 23, 2025Updated last year
- ☆30May 6, 2026Updated 2 months ago
- Simple python lib to tokenize texts into sentences and sentences to words. Small, fast and robust. Comes with ukrainian flavour☆69Jul 5, 2026Updated last week
- Data from "Crowdsourcing of Parallel Corpora: the Case of Style Transfer for Detoxification" paper☆14Apr 3, 2025Updated last year
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Computer Graphics Project 2013☆23Apr 23, 2014Updated 12 years ago
- An Android XML implementation of Material 3 list items.☆13Jan 26, 2026Updated 5 months ago
- A Github action to install poetry☆31Oct 29, 2020Updated 5 years ago
- Ukraine map data suitable for D3.js visualizations.☆20Feb 26, 2014Updated 12 years ago
- CEUR-WS proceedings style☆22Jan 14, 2026Updated 6 months ago
- A corpus of Ukrainian Twitter texts + instructions for downloading and filtering texts.☆16Jul 4, 2019Updated 7 years ago
- Ukraine War Map/Heatmap☆10Apr 25, 2022Updated 4 years ago
- ☆19Feb 7, 2017Updated 9 years ago
- ☆15Nov 16, 2015Updated 10 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Experimental repository for NER (Named-entity recognition) for sentences of Ukrainian language.☆13Aug 13, 2021Updated 4 years ago
- OpenCV matrices to HDF5 datasets and vice versa☆14Mar 21, 2013Updated 13 years ago
- Dynamic dispatch over arbitrary predicates☆10Feb 2, 2016Updated 10 years ago
- Креш-курс по Lisp☆17Sep 19, 2016Updated 9 years ago
- Flask/Mongo application to provide intuitive web-interface for tasks distribution☆36Feb 19, 2026Updated 4 months ago
- Recurrent Convolutional Memory Network (in progress)☆29Apr 16, 2016Updated 10 years ago
- Curated list of Ukrainian natural language processing (NLP) resources (corpora, pretrained models, libriaries, etc.)☆239Feb 19, 2026Updated 4 months ago
- Typeclasses for representing monad (transformer) morphisms☆14Oct 21, 2018Updated 7 years ago
- ☆10Apr 4, 2018Updated 8 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Implementation of "Faster R-CNN: Towards Real-Time Object Detection with Region Proposal Networks"☆11Nov 7, 2015Updated 10 years ago
- Scalpel stands for source code analysis, libre and portable library. This is a C++ library which aims to perform full syntax and semantic…☆16Mar 8, 2012Updated 14 years ago
- See movement patterns over time using Python and OpenCV☆11Aug 1, 2019Updated 6 years ago
- GMR Saliency Map☆12May 5, 2019Updated 7 years ago
- Library to write servers for GraphQL-like query languages☆60Updated this week
- An implementation of SIFT on GPU with OpenCL☆10Dec 30, 2020Updated 5 years ago
- Pure haskell access to the MaxMind GeoIP2 database☆13Apr 9, 2025Updated last year
- 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
- Ukranian NER annotation project☆94Apr 23, 2025Updated last year
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Scientific-Computing-with-Scala_Code☆16Jan 30, 2023Updated 3 years ago
- Visualizing the activity of many concurrent processes☆59Jul 7, 2020Updated 6 years ago
- Reproducing Random Numbers in Matlab and Python / NumPy☆11Dec 6, 2015Updated 10 years ago
- semantic navigation based on expand-region.el☆31Apr 30, 2014Updated 12 years ago
- Dockerized service exposing a REST interface for rendering draw.io diagrams into images☆23Jul 12, 2022Updated 4 years ago
- CS231N Final Project - Andrew Giel, Ryan Diaz☆13May 10, 2015Updated 11 years ago
- A formalization of the Dedekind real numbers in Coq [maintainer=@andrejbauer]☆47Jul 14, 2024Updated 2 years ago