Записки по „Езици, автомати и изчислимост"
☆14Jun 13, 2022Updated 3 years ago
Alternatives and similar repositories for eai
Users that are interested in eai are comparing it to the libraries listed below
Sorting:
- A python package attempting to fully implement single-variable polynomials and methods related to them.☆16Aug 30, 2023Updated 2 years ago
- Код към лекциите и уп ражненията на курса по Функционално програмиране на спец. Информатика, спец. Компютърни науки (2 поток) и избираема …☆16Feb 14, 2024Updated 2 years ago
- Конвертиране на данни от Interactive Brokers към НАП☆42Jul 7, 2025Updated 7 months ago
- ☆34Sep 22, 2014Updated 11 years ago
- Repository for the "Functional Programming" course at FMI of Sofia University for the academic year 2020-21☆26Feb 17, 2021Updated 5 years ago
- ☆33Feb 22, 2026Updated last week
- Материали към курса "Съвременни Java технологии"☆298Feb 1, 2026Updated last month
- Act!O(n) Arena☆10Dec 29, 2025Updated 2 months ago
- Table-driven (by-example) HSpec tests☆10Jan 29, 2021Updated 5 years ago
- ☆11Mar 9, 2021Updated 4 years ago
- source code for SoftUni exams and exercises solutions☆12May 27, 2021Updated 4 years ago
- using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskell☆15Feb 21, 2020Updated 6 years ago
- Repository of the ISMIR'24 paper "Cue Point Estimation using Object Detection"☆23Aug 19, 2024Updated last year
- ☆10Nov 14, 2017Updated 8 years ago
- Teaching the Artificial intelligence course for final year students☆23Dec 6, 2025Updated 2 months ago
- Handle ASCII text with style and safety☆10Mar 23, 2025Updated 11 months ago
- An implementation of first-class pattern matches in Haskell.☆13Feb 25, 2026Updated last week
- Read and write images as massiv arrays☆13Oct 23, 2021Updated 4 years ago
- Cabal-fmt vim plugin for formatting Cabal package files☆15Jun 30, 2020Updated 5 years ago
- [en ]This account contains a list of accounts and valuable info for the Bulgarian Mastodon space.☆13Jul 7, 2023Updated 2 years ago
- Haskell implementation of Glumpy☆12Jun 21, 2021Updated 4 years ago
- Bulgarian spaCy natural language processing pipeline☆11Mar 25, 2025Updated 11 months ago
- A lightweight, fast and easy to use directed acyclic graph (DAG) implementation in Swift.☆12Updated this week
- Fetch-like API implementation for Swift for asynchronous HTTP requests with the new async/await syntax.☆15Mar 12, 2025Updated 11 months ago
- source code and documentation for the chatbot project, developed for the students from the Faculty of Mathematics and Informatics at Sof…☆11Apr 24, 2018Updated 7 years ago
- Full 6-month Java developer training☆121Nov 29, 2020Updated 5 years ago
- Lectures from the Machine Learning course☆53Mar 6, 2023Updated 2 years ago
- Repository with examples for the "Data structures and algorithms" course given by me (2021-present), "Data structures 2" course and other…☆18Jan 29, 2025Updated last year
- Zippers for cofree types☆14Dec 7, 2021Updated 4 years ago
- The slides and code for the 2020 Game Development Course in Sofia University.☆15May 27, 2023Updated 2 years ago
- Vim plugin for Python 3+ written in Python 3 for project specific autocomplete of functions and classes and automatic import filing☆13Nov 4, 2019Updated 6 years ago
- Prettyprinting transformers for rainbow parens, precedence, etc.☆16Feb 27, 2022Updated 4 years ago
- A discord bot that creates discord bots... (Codex GPT-3)☆10Feb 18, 2022Updated 4 years ago
- Network Security II - Secure codding☆10Jun 5, 2018Updated 7 years ago
- Retro groove color scheme for Vim (with custom modifications to Haskell and PureScript to make them more colourful)☆14Jun 7, 2020Updated 5 years ago
- A Haskell library for loading configuation data from environment variables.☆17Nov 4, 2022Updated 3 years ago
- Хранилище за свободно учебно съдържание по програмиране, информатика и ИТ за българските училища в помощ на ИТ учителите☆162Feb 25, 2026Updated last week
- Lectures, seminars, tasks, exams and homework assignments (some with solutions), that I have written as a teaching assistant for math cou…☆46Aug 22, 2023Updated 2 years ago
- Swift Complex Numbers☆10Oct 20, 2021Updated 4 years ago